Blog Posts

---

How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost

Petrol: embedding a type-safe SQL API in OCaml using GADTs

Racket->Rhombus: To Sexp or not to Sexp?

Goodbye C developers: The future of programming with certified program synthesis

Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations

How to make sense of Model Checking

Abolish the state! or no? An OCaml Perspective

Ethereum smart contract usage in 7 graphs