A Git platform powered by Scala
Simple and distributed Machine Learning
sbt, the interactive build tool
Java persistence using JDO, JPA or REST
A scalable, unified data and AI engineering platform for enterprise
SZT‑bigdata is an open source project
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