Ecosyste.ms: Packages

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

repo1.maven.org "curry-howard-isomorphism" keyword

io.chymyst:curryhoward_2.13 0.3.8

Automatic code generation from function types using the Curry-Howard correspondence
1 version - Latest release: almost 3 years ago - 249 stars on GitHub

io.chymyst:curryhoward_2.11 0.3.8

Automatic code generation from function types using the Curry-Howard correspondence
15 versions - Latest release: almost 3 years ago - 249 stars on GitHub

io.chymyst:curryhoward_2.12 0.3.8

Automatic code generation from function types using the Curry-Howard correspondence
15 versions - Latest release: almost 3 years ago - 249 stars on GitHub

Related Keywords

automated-theorem-provers 3 code-generation 3 functional-programming 3 intuitionistic-logic 3 lambda-calculus 3 lambda-terms 3 scala 3 scala-macros 3 theorem-prover 3