Fury

An experimental dependency manager and build tool for Scala

Magnolia

Easy, fast, transparent, generic derivation of typeclass instances

Probably

To probe what we can't prove, so the unprovable may become probable

Kaleidoscope

Statically-checked pattern matching on regular expressions