sbt, the interactive build tool
A fault tolerant, protocol-agnostic RPC system
Source code for the X Recommendation Algorithm
Java persistence using JDO, JPA or REST
Reactive Microservices for the JVM
Lift Framework
Eclipse integration for Isabelle proof assistant