Build concurrent, distributed, and resilient message-driven apps
Simple and distributed Machine Learning
sbt, the interactive build tool
A Git platform powered by Scala
The pure asynchronous runtime for Scala
Java persistence using JDO, JPA or REST
Reactive data-binding for Scala
Compiler for the Vale programming language
Database Tools incl. ORM, migrations and admin UI
Deploy and manage containers (including Docker) on top of Apache Mesos
Java-based scientific graphics
Machine learning server for developers and ML engineers
Eclipse integration for Isabelle proof assistant