Projects

Competitive debate note-taking app with automatic argument spacing, export to Excel, built-in timer, and live sharing.

Evolution simulator able to spontaneously evolve plants detritivores and herbivores, with parallel physics engine and implementation of NEAT.

Platformer game where you roll into a ball to protect yourself from water.

Solution to the Royal Game of Ur Finkel Rules, with optimal moves calculated for every possible board state.

Command line tool that uses an evolutionary algorithm to create layers of single-color pixel grids that approximate an image.

Formal verification of insertion sort using the dependently-typed language Idris.

Auto-citation chrome extension for competitive debate with built-in formatting features.

Microsoft Word document reader for competitive debate that opens large documents 28 times faster than native app, with features like colorable windows and contextual search.

Rust program that finds all disarium numbers in 12 seconds.

Solver for the math puzzle game Date-o.

Desktop & mobile note-taking app made for personal use, with support for global fuzzy search, Typst equations, and runnable code blocks.

Gimloader plugin for the educational game Gimkit that converts JavaScript to Gimkit code blocks.

Advent of code solutions, and a custom advent of code command line tool with auto submitting and support for multiple languages.

Tool that automatically replaces english words with phonetically similar JavaScript frameworks.

Implementation of minesweeper in pure Typst, using the live preview editing as controls for the game.

All my Georgia Tech CS 1331 homeworks and programming exercises rewritten in the functional language Haskell and functional depedently-typed language Idris.

A diplomatic edition of Clairo's Charm notebook that was shown in this tiktok.