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 maintainers: [email protected]
Top 5.4% on pkgs.racket-lang.org
Latest release: 13 days ago - 15 stars on GitHub - 1 maintainer
rtlv
Tools for reasoning about circuits in Rosette/RacketLatest release: 13 days ago - 15 stars on GitHub - 1 maintainer
knox
A framework for formally verifying hardware security modules to be free of hardware, software, an...Latest release: 16 days ago - 11 stars on GitHub - 1 maintainer