🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

Software specification and verification system based on graph rewriting

Unity project for procedurally generating video game levels using generative graph grammars. Completed as part of my final year project for my Bachelor's Degree in Computer Science at Swansea University.

simple labelled graph rewriting for .NET

UI for 2D Procedural Modelling using Graph Grammars written in Python

Occurrence Graph Grammars with Negative Application Conditions (Master's Dissertation)

Given a graph grammar defined in AGG (.ggx) using a type graph, converts the file to a new one, usable in Rodin, containing the same definition.