3 repositories on SrcLog
A collection of type-safe functional data structures
Compositional Representable Executable Machines
A DSL for validating data in a functional fashion