Principled Functional Programming in Scala

Your favorite language gets closer to bare metal.

Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

Scala source code formatter

The Leon system for verification, synthesis, repair

A library providing automated refactoring support for Scala.

A purely functional Scala client for CouchDB

Proof Of Concept: A fully type safe version of Anorm

Code health for scalameta

Combinatorial Query language for scala.meta trees.

Scala compiler plugin implementing parser macros

Testing the Obey project