Rhombus: A New Spin on Macros Without All the Parentheses

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

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

Unifying fold left and fold right in Prolog

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

The future of programming with certified program synthesis

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

Bloomfilters debunked: Dispelling 30 Years of math with Coq