Herbie
Fewer than 5 people recommend it so far, so there's no written verdict. Here is what commenters said.
4recommend
1warn against
Apr 3, 2026first mention
Sep 22, 2026latest mention
Why people recommend it
“Herbie analyzes your math expressions and helps you figure out where FP error accumulates.”
“My hope for the future is that Herbie's approach can evolve”
Show 1 more
“this is Herbie's core strength”
Works on 3D/4D math in F#on “Herbie: Automatically improve imprecise floating poi…”
Caveats and dissent
“How useful is this when you are using numbers in a reasonable range, like 10^-12 to 10^12?”
Who recommends it in their own words
From the makers not counted in the ranking
“Author here. The speed up is modeled throughput, though the model is relatively naive.”
author of the toolon “Herbie: Automatically improve imprecise floating poi…”
Threads where it came up
Data: herbie.json. Quotes are verbatim; the verdict and theme labels are written by a model from these comments, and every clause links to its sources.
All comments 8
“Herbie analyzes your math expressions and helps you figure out where FP error accumulates.”
FPChecker and Herbie are complementary. FPChecker runs the dynamic analysis to figure what your code is actually doing under realistic workloads, which gives you the information to make those code improvements via other tools like Herbie. Part of the issue with saying what you mean in numerical code is that approximately no-one outside a small cadre of experts bothers to do numerical analysis. And unless you're in HP
“My hope for the future is that Herbie's approach can evolve”
“Herbie uses interval arithmetic a lot!”
“I wonder if you could combine the two techs to make something even more powerful.”
“Documented here but yes it's an average”
“this is Herbie's core strength”
“How useful is this when you are using numbers in a reasonable range, like 10^-12 to 10^12?”