GitHub repository: maxitg/SetReplace
Primary language: Mathematica
Description: C++/Wolfram Language package for exploring set and graph rewriting systems