Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "paper-artifacts" keyword
Top 9.6% on proxy.golang.org
7 versions - Latest release: almost 4 years ago - 26 stars on GitHub
github.com/coq-community/lemma-overloading v8.12.0+incompatible
Libraries demonstrating design patterns for programming and proving with canonical structures in ...7 versions - Latest release: almost 4 years ago - 26 stars on GitHub
Top 9.6% on proxy.golang.org
2 versions - Latest release: over 2 years ago - 24 stars on GitHub
github.com/coq-community/alea v8.12.0+incompatible
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]2 versions - Latest release: over 2 years ago - 24 stars on GitHub