Các kho mã nguồn mở đang theo dõi của herbie-fp, sắp xếp theo số sao.
Tối ưu hóa các biểu thức dấu phẩy động để đạt độ chính xác cao.
