Joseph Fletcher
Software engineer. I build useful tools and work on highly technical projects.
Selected projects
Erdős–Straus Exploration
A Lean4 formalisation of an equivalent reformulation Erdős–Straus conjecture.
Lean4 · Number theory
Vibe-coded poker
A multiplayer poker client/server built end-to-end by AI agents as a deliberate study of agent capabilities and limits.
AI agents · Client/server · Game logic
Card-game engine in Lean4 WIP
A formally-specified rules engine targeting Magic: the Gathering-level mechanics.
Lean4 · Game engines · Formal methods
Tools
Small things I built because I wanted to use them.
- QR Code Generator — generate QR codes from any URL or text
- Bezier Widget — interactive cubic Bezier curve explorer
- Encode/Decode — HTML, Base64, and URL encoding tools
- Media — scuba diving videos