pilif0

Informatics PhD student at University of Edinburgh. Focusing on formal verification and proof mechanisation, specifically in Isabelle.

Edinburgh, UK

Pinned Repositories

architect
Language:Shell0 1 00
auto-lsystem
LSystem display tool
Language:Haskell00
basilisk
LLVM frontend for my pet programming language
Language:C++2 1 100
bigraph
Formalization of Robin Milner's bigraphs in Isabelle/HOL
Language:Isabelle1 0 00
calendar-generator
JavaFX program to generate calendar events in iCalendar format for importing into calendars.
Language:Java1 2 00
dotfiles
Config files
Language:Vim Script00
isa-skeleton
Isabelle command to quickly produce Isar proof patterns
Language:Isabelle0 1 00
isastyle
LaTeX style files for Isabelle
Language:TeX00
open-sea
Game engine using OpenGL with GLFW
Language:C++5 3 130

pilif0's Repositories

pilif0/open-sea
Game engine using OpenGL with GLFW
Language:C++5 3 130
pilif0/basilisk
LLVM frontend for my pet programming language
Language:C++2 1 100
pilif0/bigraph
Formalization of Robin Milner's bigraphs in Isabelle/HOL
Language:Isabelle1 0 00
pilif0/calendar-generator
JavaFX program to generate calendar events in iCalendar format for importing into calendars.
Language:Java1 2 00
pilif0/architect
Language:Shell0 1 00
pilif0/auto-lsystem
LSystem display tool
Language:Haskell00
pilif0/dotfiles
Config files
Language:Vim Script00
pilif0/isa-skeleton
Isabelle command to quickly produce Isar proof patterns
Language:Isabelle0 1 00
pilif0/isastyle
LaTeX style files for Isabelle
Language:TeX00
pilif0/open-desert
My OpenGL sandbox using Java
Language:Java0 1 10
pilif0/pilif0.github.io
Language:Ruby
pilif0/space-thing
Space themed game for JamSandwich 2017
Language:Java2 0