A simple representation of optional values

Rudiments provides a small collection of tiny but useful utilities for everyday programming in Scala, and could be considered an enhanced 'predef'

soundness-all

An experiment in numeric semantics to eradicate off-by-one errors

Typesafe CSS in Scala

soundness-all

Typesafe associations between product types and values

soundness-all

soundness-all

soundness-all