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
    Last updatedFriday, July 19th, 2024 8:00:44pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/uwplse/herbie.git?path=src#v2.15e640bd324ece7105804c7842c6026fd92808890
    Last checkedTuesday, November 4th, 2025 2:52:27am (UTC)
    Last editedThursday, July 18th, 2024 5:09:17pm (UTC)
    Date addedThursday, June 20th, 2019 5:55:30pm (UTC)
    Modules
    • herbie/main.rkt
    • herbie/web/run.rkt
    • herbie/improve.rkt
    • herbie/sandbox.rkt
    • herbie/timeline.rkt
    • herbie/syntax/sugar.rkt
    • herbie/core/simplify.rkt
    • herbie/reprs/runtime/utils.rkt
    • herbie/platforms/default.rkt
    • herbie/pareto.rkt
    • herbie/core/reduce.rkt
    • herbie/web/traceback.rkt
    • herbie/platform.rkt
    • herbie/web/history.rkt
    • herbie/core/alt-table.rkt
    • herbie/syntax/rules.rkt
    • herbie/web/server.rkt
    • herbie/web/thread-pool.rkt
    • herbie/float.rkt
    • herbie/web/demo.rkt
    • herbie/syntax/types.rkt
    • herbie/syntax/syntax.rkt
    • herbie/web/timeline.rkt
    • herbie/plugin.rkt
    • herbie/syntax/type-check.rkt
    • herbie/core/regimes.rkt
    • herbie/web/plot.rkt
    • herbie/profile.rkt
    • herbie/herbie.rkt
    • herbie/config.rkt
    • herbie/web/pages.rkt
    • herbie/core/matcher.rkt
    • herbie/mainloop.rkt
    • herbie/reprs/runtime/float32.rkt
    • herbie/errors.rkt
    • herbie/compiler.rkt
    • herbie/syntax/syntax-check.rkt
    • herbie/core/egg-herbie.rkt
    • herbie/platforms/libm.rkt
    • herbie/platforms/math.rkt
    • herbie/reprs/runtime/libm.rkt
    • herbie/core/localize.rkt
    • herbie/reprs/fallback.rkt
    • herbie/datafile.rkt
    • herbie/programs.rkt
    • herbie/soundiness.rkt
    • herbie/pretty-print.rkt
    • herbie/conversions.rkt
    • herbie/patch.rkt
    • herbie/core/rr.rkt
    • herbie/defaccelerator.rkt
    • herbie/core/taylor.rkt
    • herbie/preprocess.rkt
    • herbie/shell.rkt
    • herbie/web/make-report.rkt
    • herbie/multi-command-line.rkt
    • herbie/web/core2mathjs.rkt
    • herbie/accelerator.rkt
    • herbie/load-plugin.rkt
    • herbie/web/common.rkt
    • herbie/web/make-graph.rkt
    • herbie/reprs/binary32.rkt
    • herbie/reprs/binary64.rkt
    • herbie/searchreals.rkt
    • herbie/core/bsearch.rkt
    • herbie/common.rkt
    • herbie/syntax/test-rules.rkt
    • herbie/points.rkt
    • herbie/explain.rkt
    • herbie/sampling.rkt
    • herbie/reprs/bool.rkt
    • herbie/syntax/read.rkt
    • herbie/alternative.rkt