Awesome Scala

Logic Programming and Type Constraints

7 results

Filters

Languages
Platforms
  1. project logo

    fthomas/refined   0.11.3

    Refinement types for Scala

    Scala versions: 2.12 2.13 3.x
    Scala.js versions: 1.x
    Scala Native versions: 0.5
    1722 153 65
  2. project logo

    iltotore/iron   3.0.2

    Strong type constraints for Scala

    Scala versions: 3.x
    Scala.js versions: 1.x
    Scala Native versions: 0.4 0.5
    523 58 34
  3. project logo

    epfl-lara/stainless   0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

    Verification framework and tool for higher-order Scala programs

    Scala versions: 2.11
    378 56 41
  4. project logo

    vivri/adjective   0.5.1

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

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

    epfl-lara/inox   1.1.0

    Solver for higher-order functional programs, used by Stainless

    Scala versions: 2.11
    91 21 38
  6. project logo

    uuverifiers/ostrich   2.0

    An SMT Solver for string constraints

    Scala versions: 2.11 2.12 2.13
    40 8 8
  7. project logo

    tomasmikula/nutcracker   0.2

    Problem solving à la carte

    Scala versions: 3.x
    20 1 1