varkor / quiver
A modern commutative diagram editor for the web.
varkor / quiver
bgavran / Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
jwiegley / category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
demystifyfp / FsToolkit.ErrorHandling
An opinionated F# Library for error handling