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