Awesome Scala

Logic Programming and Type Constraints

7 results

Filters

Languages
Platforms
  1. project logo

    fthomas/refined   0.11.2

    Refinement types for Scala

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

    iltotore/iron   2.6.0

    Strong type constraints for Scala

    Scala versions: 3.x
    Scala.js versions: 1.x
    Scala Native versions: 0.4
    465 44 26
  3. project logo

    epfl-lara/stainless   0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1

    Verification framework and tool for higher-order Scala programs

    Scala versions: 2.11
    358 52 36
  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.0

    Solver for higher-order functional programs, used by Stainless

    Scala versions: 2.12
    88 20 36
  6. project logo

    uuverifiers/ostrich   1.4.1

    An SMT Solver for string constraints

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

    tomasmikula/nutcracker   0.2

    Problem solving à la carte

    Scala versions: 3.x
    20 1 1