Software Specifications for Scala
A test framework that runs everything in parallel.
GAPT: General Architecture for Proof Theory
An integration layer between Scala and JRuby
Pusher meets Akka
A small, simple and self-contained implementation of the Glicko-2 rating algorithm in Scala that also helps the user with maintaining a leaderboard and allows for custom scoring rules.
A play client to use the orient db http api.
Tiny library which fetches open graph data from the specified URL, powered by akka-http client
Adaptation of rogue from https://github.com/foursquare/fsqio
Library for building data products