Platonic Solids
An interactive WebGPU visualization of the five Platonic solids with depth-based edge coloring.
Projects
A collection of personal projects and open source contributions.
Tacopy
A Python decorator that applies Tail Call Optimizations to tail-recursive functions, offering up to 2.88x speedup and RecursionError elimination.
C0 Compiler
A compiler for the C0 language targeting x86_64 and LLVM IR, featuring SSA, register allocation via chordal graph coloring, and optimizations competitive with gcc -O1.
Proof: $\sqrt{2}$ is Irrational
A formal proof that the square root of 2 is irrational, implemented in a proof assistant.