Herbie: Boosting Floating-Point Accuracy
2025-08-07
The Herbie project aims to improve the accuracy of floating-point computations. Over several years, Herbie has released numerous versions, continuously improving algorithms, increasing speed, and adding features like a browser interface and plugins for languages such as Rust and Haskell. Recently, Herbie achieved significant accuracy improvements on the Hamming benchmark suite and added a new platform API for pluggable compilation targets. The Herbie team actively participates in academic research, publishing papers and giving numerous talks, sharing their research findings and future plans.
Read more
Development
Herbie project