applied-category-theory topic

ACT community resources

statebox

A framework for applied category theory in the Julia language

AlgebraicJulia

A list of works and resources about double category theory, with a particular focus on applications.

mattecapu

A curated list of awesome Category Theory resources.

madnight

Bayesian inference on wiring diagrams.

samuelsonric

A specialised computer algebra system for topos theory.

locusmath