pilif0
Informatics PhD student at University of Edinburgh. Focusing on formal verification and proof mechanisation, specifically in Isabelle.
Edinburgh, UK
Pinned 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.
codegen-ProcessComposition
Code generated from the Isabelle/HOL formalisation of Linear Resources and Process Compositions
isa-Hyperdual
Isabelle/HOL formalisation of second-order hyperdual numbers
isa-ILL
Deep Embedding of Intuitionistic Linear Logic in Isabelle/HOL
isa-ProcessComposition
Linear Resources and Process Compositions in Isabelle/HOL
open-sea
Game engine using OpenGL with GLFW
process-diagram
Haskell tool for visualising process compositions
pilif0's Repositories
pilif0/open-sea
Game engine using OpenGL with GLFW
pilif0/basilisk
LLVM frontend for my pet programming language
pilif0/bigraph
Formalization of Robin Milner's bigraphs in Isabelle/HOL
pilif0/calendar-generator
JavaFX program to generate calendar events in iCalendar format for importing into calendars.
pilif0/architect
pilif0/auto-lsystem
LSystem display tool
pilif0/codegen-ProcessComposition
Code generated from the Isabelle/HOL formalisation of Linear Resources and Process Compositions
pilif0/dotfiles
Config files
pilif0/isa-Bussproofs
Integration of bussproofs into Isabelle/HOL document preparation
pilif0/isa-Hyperdual
Isabelle/HOL formalisation of second-order hyperdual numbers
pilif0/isa-ILL
Deep Embedding of Intuitionistic Linear Logic in Isabelle/HOL
pilif0/isa-ProcessComposition
Linear Resources and Process Compositions in Isabelle/HOL
pilif0/isa-skeleton
Isabelle command to quickly produce Isar proof patterns
pilif0/isastyle
LaTeX style files for Isabelle
pilif0/open-desert
My OpenGL sandbox using Java
pilif0/process-diagram
Haskell tool for visualising process compositions
pilif0/pilif0.github.io
pilif0/space-thing
Space themed game for JamSandwich 2017