A command line tool to apply templates defined on GitHub
A Git platform powered by Scala
A bot that helps you keep your projects up-to-date
Scala combinator library for building Finagle HTTP services
SZT‑bigdata is an open source project
Eclipse integration for Isabelle proof assistant
Client-server based NetFlow visualizer