Awesome Scala

Logic Programming and Type Constraints

Filters

Languages

Scala 3.x (3)
Scala 2.13 (5)
Scala 2.12 (6)
Scala 2.11 (5)
Scala 2.10 (2)

Platforms

JVM (8)
Scala.js 1.x (2)
Scala.js 0.6 (2)
Scala Native 0.3 (1)

fthomas/refined

Refinement types for Scala

Scala Versions: 2.10 2.11 2.12 2.13 3.x

Scala.js: 0.6 1.x

Scala Native: 0.3

refinement-types scala typelevel

1517 145 59
iltotore/iron

Strong type constraints for Scala

Scala Versions: 3.x

assert functional-programming scala types

136 4 2
epfl-lara/stainless

Verification framework and tool for higher-order Scala programs

Scala Versions: 2.11

leon cvc4 verification formal-methods scala z3 inox smt

284 44 34
vivri/adjective

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

Scala Versions: 2.12 2.13

Scala.js: 0.6 1.x

constraint-satisfaction refinement refinement-types validation

91 5 3
epfl-lara/inox

Solver for higher-order functional programs

Scala Versions: 2.11 2.12

75 18 34
tomasmikula/nutcracker

Problem solving à la carte

Scala Versions: 2.12 2.13 3.x

monotonic-refinement scala constraint-programming sat-solver propagators

19 1 1
uuverifiers/ostrich

An SMT Solver for string constraints

Scala Versions: 2.11 2.12 2.13

theorem-proving theorem-prover strings regular-expressions smt-solver

17 5 8
sciss/poirot

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

Scala Versions: 2.10 2.11 2.12 2.13

constraints csp

3 0 1