C++17 / Reproducible Verification
Certified Prime-Power Tail Bounds
Published paper artifact with a deterministic exact-integer verifier, frozen certificate, checksums, and archived release.
Open repositoryAdditional Projects
Smaller public artifacts, earlier builds, and browser demos that show curiosity and range beyond the main case studies.
Published paper artifact with a deterministic exact-integer verifier, frozen certificate, checksums, and archived release.
Open repositoryScratch-built 2D engine work across rendering, resource lifecycles, JSON tile maps, UI, and portable CMake builds.
Read case studyPlanetary exploration pages and visual educational content.
Open demoSpecies reference experience with custom UI and structured content.
Open demoBrowser-based Pokemon project with API-backed data exploration.
Open demoPlant catalog and browsing experience with searchable content.
Open demoPlayable chess interface and board interaction work.
Open demoTactical browser game demo with custom interface work.
Open demo