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 "equality" keyword
lathe-morphisms-doc
Interfaces for category theory concepts. (doc)Latest release: 8 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms-test
Interfaces for category theory concepts. (test)Latest release: 8 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms-lib
Interfaces for category theory concepts. (lib)Latest release: 8 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms
Interfaces for category theory concepts.Latest release: 8 days ago - 4 stars on GitHub - 1 maintainer
Top 8.4% on pkgs.racket-lang.org
Latest release: 9 days ago - 16 stars on GitHub - 2 maintainers
regraph
A pure-Racket equivalence graphLatest release: 9 days ago - 16 stars on GitHub - 2 maintainers
Top 8.7% on pkgs.racket-lang.org
Latest release: 17 days ago - 11 stars on GitHub - 3 maintainers
egg-herbie
A Herbie component to simplify mathematical expressions using the egg egraph libraryLatest release: 17 days ago - 11 stars on GitHub - 3 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