Simple refinement types for Scala
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Play JSON Reads/Writes instances for refined types
Refinement types for regex
spray-json instances for refinement-types