Ecosyste.ms: Packages

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

repo1.maven.org : io.chymyst:curryhoward_2.11

Automatic code generation from function types using the Curry-Howard correspondence

Registry - Source - Documentation - JSON
purl: pkg:maven/io.chymyst/curryhoward_2.11
Keywords: automated-theorem-provers, code-generation, curry-howard-isomorphism, functional-programming, intuitionistic-logic, lambda-calculus, lambda-terms, scala, scala-macros, theorem-prover
License: Apache-2.0
Latest release: almost 3 years ago
First release: over 6 years ago
Namespace: io.chymyst
Stars: 249 on GitHub
Forks: 11 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago

    Loading...
    Readme
    Loading...