3 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    chymyst/curryhoward   0.3.8

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

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

    uuverifiers/ostrich   1.4.1

    An SMT Solver for string constraints

    Scala versions: 2.13 2.12 2.11
    35 8
  3. project logo

    uuverifiers/princess   2024-11-08

    The Princess Theorem Prover

    Scala versions: 2.13 2.12 2.11
    22 5