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 "algorithm-w" keyword

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

Top 8.2% on proxy.golang.org
github.com/wdamron/poly v0.0.0-20191209074905-9296a29ae8ae
poly provides inference for a polymorphic type-system with extensible records and variants. The ...
1 version - Latest release: almost 6 years ago - 12 stars on GitHub
Related Keywords
hindley-milner 1 type-inference 1 type-system 1 type-theory 1