About

I'm Joseph Fletcher. I write software, and I'm drawn to projects that sit at the seam between mathematically rigorous and pragmatic. I have spent time working on formal proofs, powerful game engines with strong verifiable traits, distributed systems, and utilizing the new generation of AI coding tools.

This site is partly a portfolio and partly a sandbox for small tools I find useful. Feel free to look around and explore what I have to offer.