Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "serapi" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "serapi" keyword.

Top 8.2% on proxy.golang.org
github.com/EngineeringSoftware/roosterize v8.10.0+incompatible
Tool for suggesting lemma names in Coq verification projects
1 version - Latest release: over 5 years ago - 21 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/impermeable/waterproof v0.6.1
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks...
25 versions - Latest release: about 3 years ago - 28 stars on GitHub
Related Keywords
coq 2 deep-learning 1 machine-learning 1 mathcomp 1 name-generation 1 neural-networks 1 pytorch 1