Every now and then I do a fun project such as write a song parody. Here is a list of my completed projects.
- A parody of Encanto's "We Don't Talk About Bruno" titled "We Can Learn About Sylow".
- A complicated roadmap of problems for the UArk math club scavenger hunt.
- A math library for ☾, a programming language my friend made
- A smart markup language that can generate a pdf and LEAN code for a proof (with syntax highlighting and nice theorem help for vscode). Only the generation of pdf is started, since I need to become familiar with LEAN and pdf's are required for my homework.
- A browser extension containing lots of theorems and definitions so I can use technology to compensate for my lack of ability to memorize things. Eventually, this will turn into a sidebar with number analyzing, as well.
- A game involving a frog and some puzzles
- Some chess variants that my friends and I invent