Search *

Awesome Scala Login

2 results

Sorting

Contributing Search

Filters

Languages

Scala 2.13 (2)
Scala 2.12 (2)
Scala 2.11 (2)

Platforms

JVM (2)

Topics

automated-theorem-provers (1)
code-generation (1)
curry-howard-isomorphism (1)
functional-programming (1)
intuitionistic-logic (1)
lambda-calculus (1)
lambda-terms (1)
regular-expressions (1)
scala (1)
scala-macros (1)
smt-solver (1)
strings (1)
theorem-prover (2)
theorem-proving (1)

chymyst/curryhoward

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

Scala Versions: 2.11 2.12 2.13

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

242 10 5
uuverifiers/ostrich

An SMT Solver for string constraints

Scala Versions: 2.11 2.12 2.13

theorem-proving theorem-prover strings regular-expressions smt-solver

17 5 8

1 (current)

Scaladex
FAQs
Report an Issue

Follow us: