string-diagrams

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'

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.

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

Penrose diagrams in core Lean: a box is a matrix, a wire is an index, joining wires sums over it. The zig-zag, transpose, trace and sliding rules proved for every dimension and every matrix. MIT.

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)

Executable categorical models of linguistic case: synthetic statistical studies, DisCoPy diagrams, Bayesian and distributional utilities, bounded MCP tools, and a reproducible manuscript with explicit mathematical and empirical limits.