AlgebraicRewriting (julia): Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Keywords: category-theory|declarative-programming|rewrite-systems