A Git platform powered by Scala
Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP
Scala language server with rich IDE features
A high velocity web framework
Web development IDE in browser, supports Java, ruby, javascript...etc
Eclipse integration for Isabelle proof assistant