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 namespaces: github.com/affeldt-aist

View the packages within the github.com/affeldt-aist namespace on the proxy.golang.org package registry, including their maintainers and dependencies.

Top 8.2% on proxy.golang.org
github.com/affeldt-aist/monae v0.1.1
Monadic effects and equational reasonig in Coq
1 version - Latest release: over 5 years ago - 63 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/affeldt-aist/infotheo v0.1.1
A Rocq formalization of information theory and linear error-correcting codes
1 version - Latest release: over 5 years ago - 72 stars on GitHub