01Comprehensive ACSet schema and morphism management
02Automatic edge contraction and vertex duplication rule generation
03Supports DPO, SPO, and SqPO rewriting protocols
048 GitHub stars
05Python bridge to high-performance Julia-based algebraic rewriting
06Deterministic visualization support with integrated Gay.jl coloring