3 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Compositional Representable Executable Machines
A collection of type-safe functional data structures
A DSL for validating data in a functional fashion