Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "nondeterminism" keyword
Top 8.2% on proxy.golang.org
1 version - Latest release: almost 4 years ago - 63 stars on GitHub
github.com/affeldt-aist/monae v0.1.1
Monadic effects and equational reasonig in Coq1 version - Latest release: almost 4 years ago - 63 stars on GitHub