larsrh/libisabelle

A Scala library which talks to Isabelle

sangria-graphql/sangria-monix

Sangria monix integration

timbertson/sequentialstate

A minimal, type-safe alternative to (some of) akka.