| A tool for automatically improving the accuracy of floating point expressions | |
| https://github.com/uwplse/herbie | |
| herbie-9999 | all-rights-reserved |
| download | racket-overlay |
| herbie-0_p20230819 | all-rights-reserved |
| download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |