There are 1 repository under higher-category-theory topic.
A Rust/WASM implementation of homotopy.io
A toolkit for higher-dimensional diagram rewriting.