Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pkgs.racket-lang.org "floating-point" keyword
egg-herbie-osx
A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macO...Latest release: 7 days ago - 719 stars on GitHub - 3 maintainers
softposit-herbie
SoftPosit support for HerbieLatest release: 24 days ago - 1 stars on GitHub - 1 maintainer
Top 2.6% on pkgs.racket-lang.org
Latest release: 30 days ago - 35 stars on GitHub - 2 maintainers
fpbench
Tools for the FPBench numerical software standards (more info at http://fpbench.org/)Latest release: 30 days ago - 35 stars on GitHub - 2 maintainers
egg-herbie-linux
A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-b...Latest release: 8 days ago - 719 stars on GitHub - 3 maintainers
rival
Interval analysis for real computationLatest release: 12 days ago - 10 stars on GitHub - 1 maintainer
generic-flonum
Alternative MPFR interface for emulating IEEE-754 floating-point numbersLatest release: 20 days ago - 2 stars on GitHub - 1 maintainer
egg-herbie-windows
A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre...Latest release: 14 days ago - 719 stars on GitHub - 3 maintainers
herbie
A tool for automatically improving the accuracy of floating point expressionsLatest release: 7 days ago - 619 stars on GitHub - 2 maintainers