Data

Tools

Indexes

Applications

Experiments

Packages

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

github.com/EngineeringSoftware

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 8.2% on proxy.golang.org
github.com/EngineeringSoftware/mcoq v8.10.0+incompatible
1 version - Latest release: over 5 years ago
Top 6.1% on proxy.golang.org
github.com/EngineeringSoftware/gocgo
C language lexer, parser, and visitors
Latest release: 3 months ago - 1 stars on GitHub