sbt, the interactive build tool
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
Built to be ease of use, with no programming knowledge, Multi-platform
A go-like game played on a worldmap
Eclipse integration for Isabelle proof assistant