Projects

A lambda-calculus type checker and evaluator: Hindley-Milner type inference, unification and evaluation, written in F#.

• F#
• .NET
• Hindley-Milner

A reimplementation of the egrep command: regular expression parsing, NFA construction, then determinization to a DFA.

• C#
• .NET
• Automata

A small rendering engine written from scratch, backing the creative-coding projects below.

• C#
• .NET
• Rendering

A Minecraft clone written from scratch in C++ and OpenGL: terrain generation, chunk meshing and rendering.

• C++
• OpenGL

A two-dimensional N-body gravitational simulation.

• C#
• Simulation

Coding Train challenges reimplemented in C# on a home-made Processing-like engine.

• C#
• Creative coding

A Tetris clone in C++.

• C++
• olcPixelGameEngine

A peer-to-peer file sharing system written in Java.

• Java
• Networking

A personal budget manager I designed, built and deployed on my own server — and use daily.

• C#
• .NET
• Docker

An online computer hardware store: ASP.NET Core API and Angular front end.

• C#
• ASP.NET Core
• Angular

A self-administered VPS: a dozen containerised services, reverse proxy, VPN, private NuGet registry and backups. This site is one of them.

• Docker
• Nginx
• WireGuard