AlgebraicRewriting.jl is a Julia library for performing category-theoretic rewrites over a broad class of data structures, defined in Catlab.jl. This package defines DPO, SPO, and SqPO for C-Sets, as described in [Brown 2022]. See the documentation for more details.
To locally build the documentation and the literate code examples, run the following in the command line:
julia --project=docs -e "using AlgebraicRewriting, LiveServer; servedocs(literate_dir=\"docs/literate\",skip_dir=\"docs/src/generated\")"
This library is currently under active development, and so is not yet at a point where a constant API/behavior can be assumed. That being said, if this project looks interesting/relevant please contact us and let us know!