OptiFloat.jl rewrites floating point expressions to more accurate alternatives. It is a pure Julia implementation of Herbie. To learn more about what OptiFloat does, how to use it, and how it works check out the documentation.
Important
OptiFloat.jl currently requires Julia 1.11.
To install OptiFloat.jl, start julia, enter the package REPL via ] and type
pkg> add https://github.com/nmheim/OptiFloat.jlOptiFloat.jl is built on top of a number of great Julia packages. Most notably:
Metatheory.jlfor everything related to expression rewriting & simplification.DynamicExpressions.jlfor computing local errors of floating point expressions.IntervalArithmetic.jlto evaluate expressions onInterval{BigFloat}with arbitrary precision.