GitHub repository: t0sia/double_pushout
Description: Project concerning double pushout graph rewriting for Graph Transformations and Graph Algorithms 2021/22