{"id":13577286,"url":"https://github.com/herbie-fp/herbie","last_synced_at":"2026-02-18T07:32:40.885Z","repository":{"id":11276495,"uuid":"13683952","full_name":"herbie-fp/herbie","owner":"herbie-fp","description":"Optimize floating-point expressions for accuracy","archived":false,"fork":false,"pushed_at":"2024-10-29T20:06:43.000Z","size":60537,"stargazers_count":766,"open_issues_count":12,"forks_count":32,"subscribers_count":33,"default_branch":"main","last_synced_at":"2024-10-29T21:24:03.867Z","etag":null,"topics":["developer-tools","floating-point","herbie","numerical-methods","racket","synthesis"],"latest_commit_sha":null,"homepage":"https://herbie.uwplse.org","language":"HTML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/herbie-fp.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2013-10-18T17:02:08.000Z","updated_at":"2024-10-27T22:51:58.000Z","dependencies_parsed_at":"2024-09-07T02:34:15.802Z","dependency_job_id":"d8ca0821-7ab0-4a1c-a72c-0df9529910ed","html_url":"https://github.com/herbie-fp/herbie","commit_stats":null,"previous_names":["uwplse/herbie"],"tags_count":23,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/herbie-fp%2Fherbie","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/herbie-fp%2Fherbie/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/herbie-fp%2Fherbie/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/herbie-fp%2Fherbie/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/herbie-fp","download_url":"https://codeload.github.com/herbie-fp/herbie/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":222858306,"owners_count":17048452,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["developer-tools","floating-point","herbie","numerical-methods","racket","synthesis"],"created_at":"2024-08-01T15:01:20.115Z","updated_at":"2026-02-18T07:32:40.879Z","avatar_url":"https://github.com/herbie-fp.png","language":"HTML","funding_links":[],"categories":["HTML"],"sub_categories":[],"readme":"![Herbie](logo.png)\n\n\nHerbie automatically improves the error of floating point expressions.\nVisit [our website](https://herbie.uwplse.org) for tutorials,\ndocumentation, and an online demo. Herbie is a joint project of the\nUniversities of [Washington](https://uwplse.org) and\n[Utah](https://cpu.cs.utah.edu).\n\n## Installing\n\nWe recommend installing Herbie from the Racket Package Archive. To do\nso, [install Racket](https://download.racket-lang.org/) and then run:\n\n    raco pkg install --auto herbie\n\nYou can then run `racket -l herbie` to run Herbie. Herbie supports\nWindows, Linux, and macOS on both x86 and AArch64. For full\ninstructions, see the\n[documentation](https://herbie.uwplse.org/doc/latest/installing.html).\n\n## Installing from Source\n\nYou can install Herbie from source if you want to participate in\nHerbie development. This requires\n[Racket](https://download.racket-lang.org/) (8.0 or later) and\n[Rust](https://www.rust-lang.org/tools/install) (1.87.0 or later).\nOn Linux, avoid the Snap installer for Racket. Then, download the\nthis repository and run:\n\n    make install\n\nYou can then run `racket -l herbie` to run Herbie, or run\n`src/main.rkt` directly.\n\n## Running Herbie\n\nYou can run Herbie's web interface with:\n\n    $ racket -l herbie web\n\nFor more information on running Herbie, please see the\n[tutorial](https://herbie.uwplse.org/doc/latest/using-web.html).\n\nYou can also use Herbie from the command line:\n\n    $ racket -l herbie shell\n    Herbie 1.3 with seed 1866513483\n    Find help on https://herbie.uwplse.org/, exit with Ctrl-D\n    herbie\u003e (FPCore (x) (- (+ 1 x) x))\n    (FPCore (x)\n      ...\n      1)\n\nHere the input is the program `(1 + x) - x` and the output is `1`. The\ninput format is [FPCore](https://fpbench.org/spec/fpcore-1.2.html);\nyou can see more examples in `bench/`.\n\nBesides `shell`, Herbie has batch the `improve` and `report` commands.\nThe [documentation](https://herbie.uwplse.org/doc/latest/options.html)\nhas more details.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fherbie-fp%2Fherbie","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fherbie-fp%2Fherbie","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fherbie-fp%2Fherbie/lists"}