Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "lean" keyword
Top 9.1% on proxy.golang.org
Latest release: about 1 month ago - 11 stars on GitHub
github.com/reilabs/gnark-lean-demo
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.Latest release: about 1 month ago - 11 stars on GitHub
Top 8.1% on proxy.golang.org
62 versions - Latest release: 4 months ago - 2 stars on GitHub
github.com/echocat/lingress v0.7.5
Lean ingress controller.62 versions - Latest release: 4 months ago - 2 stars on GitHub