scaladex logo
    Awesome Scala Login

    chymyst / curryhoward   0.3.8

    Apache License 2.0 GitHub

    Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

    • theorem-prover
    • curry-howard-isomorphism
    • automated-theorem-provers
    • lambda-terms
    • lambda-calculus
    • scala
    • code-generation
    • scala-macros
    • intuitionistic-logic
    • functional-programming
    Scala versions: 2.13 2.12 2.11
    • Project
    • 15 Versions
    • Badges
    • Scala 2.12
    • Clear all filters
    15 versions found for curryhoward
    0.3.8
    1 year ago
    Apache-2.0
    JVM:
    2.13 2.12 2.11
    0.3.7
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.3.6
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.3.5
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.3.4
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.3.3
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.3.2
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.3.1
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.3.0
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.2.4
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.2.3
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.2.2
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.2.1
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.2.0
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    0.1.0
    5 years ago
    Apache-2.0
    JVM:
    2.12 2.11
    • Scaladex
    • FAQs
    • Report an Issue
    • Follow us:
    powered by Scala Center powered by Bintray powered by Sonatype