GitHub repository: y1ngyang/ReGraph
Primary language: Python
Description: Graph rewriting library