pkgs.racket-lang.org "simplify" keyword
Top 8.7% on pkgs.racket-lang.org
Latest release: 18 days ago - 13 stars on GitHub - 3 maintainers
egg-herbie
A Herbie component to simplify mathematical expressions using the egg egraph libraryLatest release: 18 days ago - 13 stars on GitHub - 3 maintainers
egg-herbie-windows
A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre...Latest release: 21 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: 21 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: 21 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: 24 days ago - 719 stars on GitHub - 3 maintainers