sbt, the interactive build tool
A tidy SQL-based DB access library for Scala developers
A fault tolerant, protocol-agnostic RPC system
A Thrift parser/generator
Java persistence using JDO, JPA or REST
Reactive Microservices for the JVM
Lift Framework
Eclipse integration for Isabelle proof assistant