AHmaths.com
A revision website for Advanced Higher maths used by thousands of students every year
Image Compressor
An image compressor which uses the k-means clustering algorithm to compress images and can easily be extended to add additional compression algorithms
CST PPQ Tracker
Past paper question tracker for the Cambridge Computer Science Tripos Part IB, including web scraper to fetch questions by course
Sequent Calculus Theorem Prover
A propositional logic theorem prover using sequent calculus with implementations in Haskell and OCaml
Dijkstroute
An implementation of Dijkstra's algorithm to find a route from the start point to the end point of a maze, or the shortest such route if multiple exist
Advanced Higher Maths Revision
An older version of AHmaths.com (see above)
Earley Parser
An implementation of the Earley parser algorithm in TypeScript and in Python to parse natural language sentences
Register Machine
An implementation of a register machine with three instructions: halt, increment, and decrement
Equation Solver
A website that solves simultaneous equations in any number of variables using inverse matrices
