A Rust/WASM implementation of homotopy.io

A framework for applied category theory in the Julia language

String diagram visualiser

Wiring diagrams in HTML canvas

Create string diagrams with LaTeX!

Code for the paper "Rendering string diagrams recursively".

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

A visualiser for circuits represented as hypergraphs

A toolkit for higher-dimensional diagram rewriting.

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

String Diagrams for Assembly Planning