sbt, the interactive build tool
A fault tolerant, protocol-agnostic RPC system
Java persistence using JDO, JPA or REST
Wonderful reusable code from Twitter
A Thrift parser/generator
Reactive Microservices for the JVM
Lift Framework
Eclipse integration for Isabelle proof assistant