pkgs.racket-lang.org "developer-tools" keyword
herbie
A tool for automatically improving the accuracy of floating point expressionsLatest release: 6 days ago - 619 stars on GitHub - 2 maintainers
egg-herbie-windows
A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre...Latest release: 20 days ago - 820 stars on GitHub - 3 maintainers
egg-herbie-osx
A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macO...Latest release: 20 days ago - 820 stars on GitHub - 3 maintainers
egg-herbie-macosm1
A Herbie component to simplify mathematical expressions using the egg egraph library (arm64 macOS...Latest release: 20 days ago - 820 stars on GitHub - 1 maintainer
egg-herbie-linux
A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-b...Latest release: 23 days ago - 719 stars on GitHub - 3 maintainers