{"repo":"herbie-fp/herbie","free":true,"listed":false,"github":"https://github.com/herbie-fp/herbie","clone":"git clone https://github.com/herbie-fp/herbie.git","description":"Optimize floating-point expressions for accuracy","language":"HTML","stars":885,"topics":["herbie","racket","floating-point","numerical-methods","developer-tools","synthesis"],"license":null,"category":"dev-tools","readme_excerpt":"Herbie automatically improves the error of floating point expressions. Visit our website for tutorials, documentation, and an online demo. Herbie is a joint project of the Universities of Washington and Utah. Installing We recommend installing Herbie from the Racket Package Archive. To do so, install Racket and then run: raco pkg install --auto herbie You can then run racket -l herbie to run Herbie. Herbie supports Windows, Linux, and macOS on both x86 and AArch64. For full instructions, see the documentation. Installing from Source You can install Herbie from source if you want to participate in Herbie development. This requires Racket (8.0 or later) and Rust (1.87.0 or later). On Linux, avoid the Snap installer for Racket. Then, download the this repository and run: make install You can then run racket -l herbie to run Herbie, or run src/main.rkt directly. Running Herbie You can run Herbie's web interface with: $ racket -l herbie web For more information on running Herbie, please see the tutorial. You can also use Herbie from the command line: $ racket -l herbie shell Herbie 1.3 with seed 1866513483 Find help on https://herbie.uwplse.org/, exit with Ctrl-D herbie (FPCore (x) (- (+ 1 x) x)) (FPCore (x) ... 1) Here the input is the program (1 + x) - x and the output is 1 . The input format is FPCore; you can see more examples in bench/ . Besides shell , Herbie has batch the improve and report commands. The documentation has more details.","default_branch":null,"files":null,"tree":[],"storefront":"/r/herbie-fp","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/herbie-fp/herbie/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}