Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

A toolkit for higher-dimensional diagram rewriting.

A library encoding monoidal functors and related structures in Haskell.

Collaborative work on reversible computing

Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids

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

A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.

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'

A tool used to validate whether a given multiplication table (representing a category ass defined in category theory) is a valid finite monoidal category or not