🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
-
Updated
Sep 12, 2024 - Kotlin
🕸️ 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.
Add a description, image, and links to the graph-grammars topic page so that developers can more easily learn about it.
To associate your repository with the graph-grammars topic, visit your repo's landing page and select "manage topics."