GitHub repository: kooixh/rewrite-system
Primary language: Java
Description: My third year University dissertation, Term Rewriting System