-
vivri/adjective
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Scala Versions: 2.12 2.13Scala.js: 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