Page 17 of 9263 results
-
epfl-lara/stainless 0.1.0-ae1c19517b3e78809cb67748504c7d694fa91bd1
Verification framework and tool for higher-order Scala programs
Scala versions: 2.11 -
purplekingdomgames/tyrian 0.12.0
Elm-inspired Scala UI library.
Scala versions: 3.xScala.js versions: 1.x -
mockito/mockito-scala 1.17.37
Mockito for Scala language
Scala versions: 2.13 2.12 2.11 -
pawelkaczor/akka-ddd 1.7.8
Akka CQRS/ES framework
Scala versions: 2.12 -
higherkindness/droste 0.10.0
recursion schemes for cats; to iterate is human, to recurse, divine
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.x -
typelevel/discipline 0.11.1
Flexible law checking for Scala
Scala versions: 2.12 2.11Scala.js versions: 0.6