A Git platform powered by Scala
Simple and distributed Machine Learning
Reactive data-binding for Scala
Distributed Prometheus time series database
sbt, the interactive build tool
Java persistence using JDO, JPA or REST
Database Tools incl. ORM, migrations and admin UI
Deploy and manage containers (including Docker) on top of Apache Mesos
task management, bug tracking, kanban, project management
Machine learning server for developers and ML engineers
Java-based scientific graphics
Eclipse integration for Isabelle proof assistant
Context-aware Software Engineering Environment Event-driven Framework