sbt, the interactive build tool
Fast, secure JSON library with tight ZIO integration
A fault tolerant, protocol-agnostic RPC system
Java persistence using JDO, JPA or REST
Reactive Microservices for the JVM
Lift Framework
task management, bug tracking, kanban, project management
Eclipse integration for Isabelle proof assistant