Double pushout graph rewriting in Python. Implementation of category theory constructs inspired by Computational Category Theory by Rydeheard and Burstall and Graph Transformation by Computational Category Theory by Minas and Schneider.
Example application of solving letter-string analogy problems (last letter incrementing for now) as described in Chapter 9 - A Compositional Framework by Swan et al.
Purely for educational purposes, no guarantee of correctness.