AlgebraicRewriting.jl

Generalized term rewriting software and agent-based modeling

• Topos maintainer: Kris Brown
• Paper: Computational category-theoretic rewriting
• Repository: https://github.com/AlgebraicJulia/AlgebraicRewriting.jl