13 open source projects by propensive

Statically-checked string interpolation

Rapture

Direct pattern matching on strings

Totalitarian: typesafe data structures for working with total functions

Xylophone

Fast, easy and transparent typeclass derivation for Scala 2

A new build tool for JVM languages

Typesafe internationalization for Scala

Functional dataflow through composable computations

Automatic typeclass-based abstraction over monad-like types

Lightweight and typesafe asynchronous computation graphs

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

Typeclass interfaces to access user-defined Scala annotations