GitHub / Chymyst / curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Chymyst%2Fcurryhoward
PURL: pkg:github/Chymyst/curryhoward
Stars: 259
Forks: 16
Open issues: 5
License: apache-2.0
Language: Scala
Size: 428 KB
Dependencies parsed at: Pending
Created at: over 7 years ago
Updated at: 11 days ago
Pushed at: 2 months ago
Last synced at: 2 days ago
Topics: automated-theorem-provers, code-generation, curry-howard-isomorphism, functional-programming, intuitionistic-logic, lambda-calculus, lambda-terms, scala, scala-macros, theorem-prover