rewalt (pypi): A toolkit for higher-dimensional diagram rewriting.
Keywords: category theory|higher category theory|rewriting|string diagrams|higher-dimensional rewriting|homotopy theory|combinatorial topology|cell complexes|diagram rewriting|diagrammatic rewriting|monoidal category|prop|operad|multicategory|simplicial set|cubical set|category-theory|cell-complexes|cubical-sets|higher-algebra|higher-category-theory|homotopy-theory|monoidal-categories|simplicial-sets|string-diagrams|topology