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