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
generic-flonum
Alternative MPFR interface for emulating IEEE-754 floating-point numbersLatest release: 1 day ago - 2 stars on GitHub - 1 maintainer
rival
Interval analysis for real computationLatest release: 1 day ago - 10 stars on GitHub - 1 maintainer
softposit-herbie
SoftPosit support for HerbieLatest release: 6 days ago - 1 stars on GitHub - 1 maintainer
Top 2.6% on pkgs.racket-lang.org
Latest release: 11 days ago - 35 stars on GitHub - 2 maintainers
fpbench
Tools for the FPBench numerical software standards (more info at http://fpbench.org/)Latest release: 11 days ago - 35 stars on GitHub - 2 maintainers
herbie
A tool for automatically improving the accuracy of floating point expressionsLatest release: 18 days ago - 619 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: 19 days ago - 719 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: 19 days ago - 719 stars on GitHub - 3 maintainers
egg-herbie-windows
A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre...Latest release: 26 days ago - 719 stars on GitHub - 3 maintainers