sbt, the interactive build tool
Code formatter for Scala
Scala language server with rich IDE features
Scala.js, the Scala to JavaScript compiler
A high velocity web framework
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