Awesome Scala

Logic Programming and Type Constraints

8 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
    1617 151 62
  2. project logo

    iltotore/iron

    Strong type constraints for Scala

    Scala versions: 3.x
    Scala.js versions: 1.x
    Scala Native versions: 0.4
    259 16 7
  3. project logo

    epfl-lara/stainless

    Verification framework and tool for higher-order Scala programs

    Scala versions: 2.11
    322 47 33
  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
    84 19 34
  6. project logo

    tomasmikula/nutcracker

    Problem solving à la carte

    Scala versions: 2.12 2.13 3.x
    19 1 1
  7. project logo

    uuverifiers/ostrich

    An SMT Solver for string constraints

    Scala versions: 2.11 2.12 2.13
    24 6 7
  8. project logo

    sciss/poirot

    A Scala front-end for the JaCoP constraints solver library.

    Scala versions: 2.10 2.11 2.12 2.13
    3 0 1