A framework for applied category theory in the Julia language

A Rust/WASM implementation of homotopy.io

A toolkit for higher-dimensional diagram rewriting.

String diagram visualiser

Create string diagrams with LaTeX!

Official code for the paper "Rendering String Diagrams Recursively".

Wiring diagrams in HTML canvas

String Diagrams for Assembly Planning

Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'

Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'

Resource Diagrams is a Python library for modeling AI agent systems using string diagrams from monoidal category theory. It implements key ideas from Dusko Pavlovic’s Monoidal Computer framework and provides practical tools for representing and analyzing policy copying, tool definitions, memory, and information flow in agent scaffolds.

A visualiser for circuits represented as hypergraphs

Category-theoretic graph structures in Rust — strict Fong & Spivak hypergraph categories (cospans, props, Frobenius), with applied, magnitude, physics, and DL extensions, plus a term-language frontend (print/parse/eval/typed builder)