Scala language server with rich IDE features
A high velocity web framework
Modern Load Testing as Code
A Git platform powered by Scala
Scala 2 compiler and standard library
Lift Framework
Web development IDE in browser, supports Java, ruby, javascript...etc
Eclipse integration for Isabelle proof assistant