Things I’ve made trying to put my dent in the universe.
I’ve worked on tons of little projects over the years but these are the ones that I’m most proud of. Many of them are open-source, so if you see something that piques your interest, check out the code and contribute if you have ideas for how it can be improved.
Haskell support for durable execution in the face of failure.
I am the primary author of the Haskell OpenTelemetry SDK and the maintainer of the Haskell OpenTelemetry ecosystem.
Dependently typed state machines in Haskell.