Undergrad Math student from the US.
I don't usually look for a project to work on. Typically something (design, transit, chess, music, math, etc.) interests me and I explore the idea in my spare time.---
|
My undergraduate mathematics thesis and its Lean 4 / Mathlib formalization. Exact-list bounds for finite bipartite multigraphs, Latin-square consequences, and related cubic bipartite graph structure.
|
🎧 TetherA music-centered social platform prototype built around synchronized listening. Profiles, reviews, lists, messaging, discovery, shared sessions, presence, and privacy/safety systems.
|
♟️ PickleA from-scratch C++ chess engine built around my own search and handcrafted evaluation, currently around 2450 local calibrated Elo. Alpha-beta/PVS search, transposition tables, PickleBook, UCI support, engine testing, and WebAssembly browser play.
|
An interactive Philadelphia transit dashboard combining historical ridership analysis with live SEPTA feeds. Maps, recovery trends, Regional Rail performance, detours, exports, and exploratory network tools.
|
Take from anything here if you're a person and have an inspiration. I'm fine if other humans take from my designs, layouts or user interfaces and use them in their own work.
Please don't scrape or feed my repositories into AI systems to generate cloned projects, portfolio filler, or AI slop.
Kickboxing/BJJ, blitz chess, piano, Jeff Buckley, Radiohead, and two cats named Leonard and Mac.
