Projects
-
Competitive debate note-taking app with automatic argument spacing, export to Excel, built-in timer, and live sharing.
Mutable
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.
Ur solution
Solution to the Royal Game of Ur Finkel Rules, with optimal moves calculated for every possible board state.
Monochrome layers
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.
Docx reader
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.
Brot
Desktop & mobile note-taking app made for personal use, with support for global fuzzy search, Typst equations, and runnable code blocks.
Gimkit block converter
Gimloader plugin for the educational game Gimkit that converts JavaScript to Gimkit code blocks.
Advent of code
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.
Typesweeper
Implementation of minesweeper in pure Typst, using the live preview editing as controls for the game.
Ethical CS 1331
All my Georgia Tech CS 1331 homeworks and programming exercises rewritten in the functional language Haskell and functional depedently-typed language Idris.
Clairo charm notebook
A diplomatic edition of Clairo's Charm notebook that was shown in this tiktok.
