A computational algebra system in Smalltalk.
Fundamental Haskell book, to the point terse statements on Haskell, Cate...
Parameterise all the things
Common Functional Programming Algebraic data types for JavaScript that i...
A formalization of category theory in the Coq proof assistant.
Code samples for #monadicmonday topics
This project is to contain a listing of common theorems in elementary ca...
FP category theory jargon explained on a single A4 page
Category Theory For Programmers (Bartosz Milewski)
Finite state machines as graphs
A DSL for the internal language of a topos
Library of categories, with categorical constructions on them
Wailing into the primordial ooze of category theory
A formalization of category theory in cubical Agda
Render tikzcd diagrams with JSX.