A Scala library which talks to Isabelle
monix utilities on top of the scala mongo driver, offering collection tailing, etc
A minimal, type-safe alternative to (some of) akka.
Sangria monix integration
