A Git platform powered by Scala
Simple and distributed Machine Learning
A scalable, unified data and AI engineering platform for enterprise
sbt, the interactive build tool
Java persistence using JDO, JPA or REST
osDQ dedicated to create apache spark based data pipeline using JSON
task management, bug tracking, kanban, project management
Java-based scientific graphics
Eclipse integration for Isabelle proof assistant
Context-aware Software Engineering Environment Event-driven Framework