I'm trying to (mostly) faithfully translate into Coq a theorem from the Bird-Meertens Formalism Wikipedia article about the correctness of Kadane's algorithm at solving the Maximum subarray problem.

Playing with Tarski's axioms for Euclidean geometry.

An attempt to recreate a simple proof that all functions between fields can be decomposed into the sum of an even and an odd function.

A web app which allows you to visualise a pairing function.

Porting my Dimensional Countdown-style Problem Brute-force Solver (written in Haskell) to Elm

A web app which simulates a gravitational system.

A web app for playing with linkages.

A web app which allows you to explore the space of 4-bar linkages.

A web app which allows you to draw bezier curves.

My solutions to problems set by https://adventofcode.com/ for the year 2023.

My solutions to problems set by https://adventofcode.com/ for the year 2022.

A place for me to store often useful lemmas

The formal proof of the Odd Order Theorem

GPU-based particle rendering system for Unity

Human Resource Machine solutions and size/speed hacks

Messing around with the Coq proof assistant

Solve Advent of Code puzzles with GPT-3