-
iltotore/iron
Strong type constraints for Scala
Scala versions: 3.xScala.js versions: 1.xScala Native versions: 0.4 -
vivri/adjective
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Scala versions: 2.12 2.13Scala.js versions: 0.6 1.x -
tomasmikula/nutcracker
Problem solving à la carte
Scala versions: 2.12 2.13 3.x -
uuverifiers/ostrich
An SMT Solver for string constraints
Scala versions: 2.11 2.12 2.13 -
sciss/poirot
A Scala front-end for the JaCoP constraints solver library.
Scala versions: 2.10 2.11 2.12 2.13