herbie

A tool for automatically improving the accuracy of floating point expressions

Build status: ok dependency problems failing tests valid license

README Download
Authors
Documentation
    Tags
    License
    Language familiesRacket
    Last updatedWednesday, August 5th, 2026 12:41:28am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Build platformsany platform
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/uwplse/herbie.git?path=src#v2.39297b52f4a9a9859c1fbd13200b29048aba306b7
    Last checkedTuesday, August 25th, 2026 1:28:22am (UTC)
    Last editedWednesday, August 5th, 2026 12:41:28am (UTC)
    Date addedThursday, June 20th, 2019 5:55:30pm (UTC)
    Modules
    • herbie/core/egglog-herbie-tests.rkt
    • herbie/platform.rkt
    • herbie/syntax/load-platform.rkt
    • herbie/utils/timeline.rkt
    • herbie/core/mainloop.rkt
    • herbie/utils/profile.rkt
    • herbie/platforms/herbie10.rkt
    • herbie/core/programs.rkt
    • herbie/core/searchreals.rkt
    • herbie/api/run.rkt
    • herbie/utils/errors.rkt
    • herbie/platforms/racket.rkt
    • herbie/syntax/platform-state.rkt
    • herbie/core/explain.rkt
    • herbie/syntax/rival.rkt
    • herbie/platforms/python.rkt
    • herbie/syntax/batch.rkt
    • herbie/utils/common.rkt
    • herbie/core/localize.rkt
    • herbie/core/patch.rkt
    • herbie/reports/pages.rkt
    • herbie/core/regimes.rkt
    • herbie/reports/core2mathjs.rkt
    • herbie/core/bsearch.rkt
    • herbie/api/sandbox.rkt
    • herbie/core/compiler.rkt
    • herbie/reports/make-graph.rkt
    • herbie/api/demo.rkt
    • herbie/reports/history.rkt
    • herbie/platforms/c-windows.rkt
    • herbie/syntax/read.rkt
    • herbie/reports/traceback.rkt
    • herbie/syntax/syntax.rkt
    • herbie/syntax/types.rkt
    • herbie/core/points.rkt
    • herbie/syntax/type-check.rkt
    • herbie/reports/data.rkt
    • herbie/core/arrays.rkt
    • herbie/core/preprocess.rkt
    • herbie/platforms/reflow.rkt
    • herbie/core/alt-table.rkt
    • herbie/syntax/generators.rkt
    • herbie/utils/dvector.rkt
    • herbie/syntax/float.rkt
    • herbie/platforms/julia.rkt
    • herbie/core/rules.rkt
    • herbie/utils/pretty-print.rkt
    • herbie/core/egg-herbie.rkt
    • herbie/platforms/math.rkt
    • herbie/core/taylor.rkt
    • herbie/core/egglog-herbie.rkt
    • herbie/main.rkt
    • herbie/core/alternative.rkt
    • herbie/syntax/platform-language.rkt
    • herbie/reports/plot.rkt
    • herbie/syntax/syntax-check.rkt
    • herbie/utils/pareto.rkt
    • herbie/syntax/platform.rkt
    • herbie/config.rkt
    • herbie/reports/common.rkt
    • herbie/core/prove-rules.rkt
    • herbie/platforms/herbie20.rkt
    • herbie/reports/timeline.rkt
    • herbie/core/test-rules.rkt
    • herbie/syntax/test-syntax.rkt
    • herbie/syntax/sugar.rkt
    • herbie/platforms/rival.rkt
    • herbie/platforms/c.rkt
    • herbie/core/derivations.rkt
    • herbie/api/datafile.rkt
    • herbie/utils/multi-command-line.rkt
    • herbie/syntax/matcher.rkt
    • herbie/core/egglog-subprocess.rkt
    • herbie/core/batch-reduce.rkt
    • herbie/api/server.rkt
    • herbie/api/shell.rkt
    • herbie/core/sampling.rkt