Build concurrent, distributed, and resilient message-driven apps
sbt, the interactive build tool
The pure asynchronous runtime for Scala
Java persistence using JDO, JPA or REST
Java-based scientific graphics
Eclipse integration for Isabelle proof assistant
Context-aware Software Engineering Environment Event-driven Framework