Type-Theoretical Proofs for Commutative Ring Axioms of the Integers
A research project consisting of type-theoretic proofs for various properties of abstract algebraic mathematical structures.
PROJECTS
Here are my projects, primarily in computer graphics, games, theoretical CS, physics, and mathematics.
Personal Website
My personal website created with the Jamstack framework Hugo.
Indus
My ongoing implementation of an offline pathtraced renderer based on PBRT.
ShirleyTracer
My implementation of the Monte Carlo pathtracer created following Peter Shirley’s three part series Ray Tracing in One Weekend.
C++23: From Beginning to Pro
Exercises from the Horton-Weert C++23 book.
OpenGL Graphics Programming Project
My final coursework that demonstrates various graphics programming techniques with OpenGL and C++.