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 "lambda-terms" keyword

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

Top 5.6% on proxy.golang.org
github.com/chymyst/curryhoward v0.3.8
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
1 version - Latest release: over 4 years ago - 260 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/Chymyst/curryhoward v0.3.8
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
1 version - Latest release: over 4 years ago - 260 stars on GitHub
Related Keywords
automated-theorem-provers 2 code-generation 2 curry-howard-isomorphism 2 functional-programming 2 intuitionistic-logic 2 lambda-calculus 2 scala 2 scala-macros 2 theorem-prover 2