An axiom-free formalization of category theory in Coq for personal study...
Minimal unidirectional global state management library (less boilerplate...