Probabilistic Model Checking with PCTL

Jul 1, 2023

Project
Cavalry: Verified Programming Language

Jun 1, 2023

Project
Dummy's Guide to Logic and Proof

Feb 18, 2023

Article
Parallelising a Software Ray-Tracer

Nov 3, 2022

Talk
OCaml Tricks For Long Computations

Jul 12, 2022

Article
Delay-Tolerant Link-State Routing

May 16, 2022

Dissertation Project
Using the select System Call in Unix

Feb 25, 2022

Article
Porting OCaml to the nRF52 Microcontroller

Aug 28, 2021

Talk
CoolSort, or Cache Access Pattern Optimisation

Jun 30, 2021

Article
Goblin Heist

Apr 26, 2021

Game Jam Entry
Javascript 3D Renderer

Feb 26, 2021

Interactive Project
Forward and Deferred Rendering

Jan 27, 2021

Talk
Cosmic Taxi

Oct 6, 2020

Game Jam Entry
Custom Post-Processing Effects in Unity

Sep 28, 2020

Article
Cryogen

Apr 21, 2020

Game Jam Entry
Ray-tracing with Bounding Volume Hierarchies

Feb 6, 2020

Article
Field-of-view in a Tile-based World

Jan 6, 2020

Article
Copper Logic

Oct 1, 2019

Interactive Project
Creating Videos from Scratch with FFMPEG

Sep 28, 2019

Article
Graphics Rejects

May 19, 2019

Article
Spatially-Accelerated Ray-Tracing of Triangle Meshes

Jun 23, 2018

A-level Coursework
Revenant

May 30, 2018

Game
Connect 4 AI

May 2, 2018

Interactive Project
3D Bézier Curves

Apr 30, 2018

Interactive Project
Writing a Bézier Curve Plotter

Apr 21, 2018

Article
AI in Video Games

Feb 23, 2018

Article
Trench Warfare

Aug 18, 2017

Game