open-sea
Game engine using OpenGL with GLFW
Likely Available
About
Informatics PhD student at University of Edinburgh. Focusing on formal verification and proof mechanisation, specifically in Isabelle.
Evidence-backed skills
Repositories
basilisk
LLVM frontend for my pet programming language
bigraph
Formalization of Robin Milner's bigraphs in Isabelle/HOL
calendar-generator
JavaFX program to generate calendar events in iCalendar format for importing into calendars.
phd-thesis
Code used to build my PhD thesis at the School of Informatics, University of Edinburgh
isa-ProcessComposition
Linear Resources and Process Compositions in Isabelle/HOL
isa-ILL
Deep Embedding of Intuitionistic Linear Logic in Isabelle/HOL
isa-PortGraph
Formalisation of port graphs in Isabelle/HOL
so-simple-theme
A simple Jekyll theme for words and pictures.
dotfiles
Config files
dash_leader_checkbox
Checkbox component for Plotly Dash that controls other checkboxes