Jon Pretty

Statically-checked string interpolation in Scala

propensive

A new build tool for JVM languages

propensive

Statically-checked inline matching on regular expressions in Scala

propensive

Automatic typeclass-based abstraction over monad-like types

propensive

To probe what we can't prove, so the unprovable may become probable; testing for Scala

propensive

Typeclass interfaces to access user-defined Scala annotations

propensive

Typesafe internationalization of strings in Scala

propensive

Simple generically-derived cryptographic functions for Scala

propensive

Lightweight and typesafe asynchronous computation graphs

propensive

Lightweight API for working with cloud data

propensive