sbt, the interactive build tool
Declarative, type-safe web endpoints library
Scala GraphQL implementation
Runtime and development environment of Oz
Web development IDE in browser, supports Java, ruby, javascript...etc
Eclipse integration for Isabelle proof assistant
A CBLS Engine in SCALA, NOW part of OscaR