3 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    chymyst/curryhoward

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

    Scala versions: 2.13 2.12 2.11
    250 5
  2. project logo

    uuverifiers/ostrich

    An SMT Solver for string constraints

    Scala versions: 2.13 2.12 2.11
    24 7
  3. project logo

    uuverifiers/princess

    The Princess Theorem Prover

    Scala versions: 2.13 2.12 2.11
    12 5