AI notice: None of the below projects were made with AI. I have made some newer projects with AI but, seeing as they were made with AI, I did not find them noteworthy enough to make public.
Maia-fish
A chess client, with UI similar to Nibbler, that analyzes a position using both Stockfish, a very powerful chess engine, and Maia, a neural network that predicts human play.
Created in August 2025.
Turing machine visualizer
An interactive Turing machine visualizer. Very focused on performance and speed.
Created in October 2024.
OEIS pretty client
An OEIS client that pretty prints the math in the formulas and comments.
Created in October 2024.
Modular form plotter
Modular forms are amazing creatures from number theory. I made this tool to help visualize them. Made with Svelte and CindyJS.
Created around 2023.
Nibbler (fork)
I forked nibbler, a chess GUI! Come check it out. Updated semi-regularly.
Created around 2021.
Musical Spectrogram
A spectrogram that is color-coded so you can identify pitches in any sound easily. I made this to have a version of the (no longer maintained) PitchLab iOS app that is usable on a PC. I use this a lot!
Created around 2021.
Living in other topologies
Inspired by the question What would the world look like if we lived on a möbius strip?, I made this demo using HTML and Vue to answer this question. This demo generalizes possible topologies of maps far beyond mobius strips, and you can even make your own custom maps. See for yourself!
Created around 2020.
Lights out solver
A little Lights Out solver. Check the source code for how linear algebra over the finite field of order 2 is used in the theory behind solving this game!
Created around June 2019.
LaTeX live preview
Does exactly what the name says. Nothing fancy. Uses local storage to save LaTeX code between sessions. Good for previewing wall-of-text math that you want to type into Discord or a forum.
Created around 2018. Updated in June 2025.
Frequency discrimination test
A HTML and JS app I designed to measure frequency discrimination using two-alternative forced choice (2AFC), as part of a summer UROP project in the RLE lab at MIT. I'm sure you'll do much better than I did on this test 😋. Uses
knockout.jsandTone.js.Created around 2015.
Vief's Trapdoor (GitHub repository)
In 2013, I made a completely tick-for-tick square-for-square accurate emulator of a minigame in RuneScape called The Great Orb Project, or GOP for short (any connection to the Republican party is coincidental). It also contains a solved reconstruction of Jagex's line of sight algorithm. This was made using ASP.NET Core, HTML, and JS. As of now, it is not hosted anywhere, so this card will take you to the GitHub repository instead. The website also over 200 GOP puzzles, and a map editor that allowed you to create and submit your own maps.
Created around 2013.
Chip's Challenge Level Designer
One of my earliest projects. A level designer for Chip's Challenge, written in C# and Windows Forms.
Created in 2009.
There are also some secret doodles that are available if you happen to know the url…