Awesome Scala

Logic Programming and Type Constraints

7 results

Filters

Languages
Platforms
  1. project logo

    fthomas/refined

    Refinement types for Scala

    Scala versions: 2.10 2.11 2.12 2.13 3.x
    Scala.js versions: 0.6 1.x
    Scala Native versions: 0.3 0.4
    1680 154 63
  2. project logo

    iltotore/iron

    Strong type constraints for Scala

    Scala versions: 3.x
    Scala.js versions: 1.x
    Scala Native versions: 0.4
    407 36 22
  3. project logo

    epfl-lara/stainless

    Verification framework and tool for higher-order Scala programs

    Scala versions: 2.11
    347 48 34
  4. project logo

    vivri/adjective

    Programming is an exercise in linguistics; spice-up Scala types with Adjective.

    Scala versions: 2.12 2.13
    Scala.js versions: 0.6 1.x
    92 5 3
  5. project logo

    epfl-lara/inox

    Solver for higher-order functional programs

    Scala versions: 2.11 2.12
    87 20 34
  6. project logo

    uuverifiers/ostrich

    An SMT Solver for string constraints

    Scala versions: 2.11 2.12 2.13
    29 8 9
  7. project logo

    tomasmikula/nutcracker

    Problem solving à la carte

    Scala versions: 2.12 2.13 3.x
    20 1 1