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/avatar29a

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

Top 8.2% on proxy.golang.org
github.com/avatar29a/lambdacube v0.0.0-20170806205559-49151b761620
Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with depe...
1 version - Latest release: over 8 years ago - 0 stars on GitHub