Projects.
Koredl
An ML interview-prep platform with hands-on practice inside your own code editor.
TypeScript · VS Code Extension API · Django · PostgreSQL · Temporal · React
DeployedHighroll
A Balatro-inspired competitive card game settled trustlessly on the NEAR blockchain.
Rust · NEAR SDK · React · Vite · TypeScript
CourseworkGymnastics Static Hold Assistant
Real-time pose estimation that detects and scores static holds in gymnastics from video.
Python · MediaPipe · PyTorch
In developmentVoxel Engine
A C++ and OpenGL voxel world engine built from scratch, chunk streaming and all.
C++ · OpenGL · GLFW · GLAD · GLM
In developmentPenguin Colony Tracker
A web app for a volunteer group monitoring a colony of kororā, little blue penguins, across breeding seasons.
Next.js · TypeScript · Drizzle ORM · Turso · Tailwind CSS · Playwright
In developmentLedger & Syllabus
Two local-first desktop apps for personal finance and study, encrypted at rest and synced through Git.
Python · Flask · SQLCipher · React · TypeScript · pywebview
Hackathonbuggly — AI Incident Response Agent
A hackathon-built SRE agent that diagnoses production incidents with an LLM and opens fix PRs.
Django · React · TypeScript · Temporal · PostgreSQL · Docker · LLMs
CourseworkCT Scan Reconstruction with Neural Fields
Reconstructing a 3D chest CT volume from 50 X-ray projections with learned multi-resolution embeddings.
Python · TensorFlow · NumPy
CourseworkSDF Ray Marcher with Volumetric Clouds
A GPU ray marcher in a single compute shader, with soft shadows, reflections, smooth blending and volumetric clouds.
C++ · OpenGL 4.3 · GLSL · Compute Shaders
CourseworkGPU Terrain & Water Rendering
Tessellated terrain, animated water and a compute-shader rain system in OpenGL 4.
C++ · OpenGL 4 · GLSL · Compute Shaders
Courseworklibp2p Message Board & Battleship System
A serverless gossipsub message board and a Battleship game over libp2p, with rendezvous-based opponent finding.
Rust · libp2p · tokio · protobuf · SQLite · ratatui
CourseworkFormal Verification of Concurrent & Security Protocols
Model checking mutual-exclusion algorithms in TLA+, and finding attacks on an authentication protocol with ProVerif.
TLA+ · PlusCal · TLC · ProVerif
CourseworkNeural Network Classification — MNIST & CIFAR-10
A perceptron from scratch in NumPy, a CIFAR-10 CNN, and a denoising convolutional autoencoder in TensorFlow.
Python · NumPy · TensorFlow
HackathonVerdant — Blockchain Carbon Credit Marketplace
A carbon credit issuance and trading marketplace on Avalanche, built for the Web3 NZ Hackathon.
Solidity · Avalanche · Python · Django · React · Vite