Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 0.7% on pkgs.racket-lang.org
Top 1.7% forks on pkgs.racket-lang.org
Top 1.7% forks on pkgs.racket-lang.org
pkgs.racket-lang.org : cur-lib
A less devious proof assistant
Registry
-
Source
- Documentation
- JSON
purl: pkg:racket/cur-lib
License: BSD-2-Clause
Latest release: about 1 month ago
Stars: 212 on GitHub
Forks: 18 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago
Top 0.7% on pkgs.racket-lang.org
Latest release: 2 days ago - 212 stars on GitHub - 1 maintainer
cur
Dependent types and meta-programmingLatest release: 2 days ago - 212 stars on GitHub - 1 maintainer
Top 0.7% on pkgs.racket-lang.org
Latest release: 2 days ago - 212 stars on GitHub - 1 maintainer
cur-test
A less devious proof assistantLatest release: 2 days ago - 212 stars on GitHub - 1 maintainer
Top 0.7% on pkgs.racket-lang.org
Latest release: 2 days ago - 212 stars on GitHub - 1 maintainer
cur-doc
A less devious proof assistantLatest release: 2 days ago - 212 stars on GitHub - 1 maintainer