3 repositories on SrcLog
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
LL(1) parser combinators in Scala
A unit testing framework for concurrent Scala programs