Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Relocatable OCaml - from concept to demo to PRs

If you give vapourware long enough, it condenses into an actual ware! An idea hatched between rehearsing Handel arias in the outskirts of Munich just over six years ago to make running OCaml’s programs a little less surprising is now 132 commits of reality.

15 Sep 2025

David Allsopp's Blog

Read Article
Shipping a robust DB migration runner for Chaufr (OCaml + Caqti + Lwt)

Implemented a production-minded database migration system for Chaufr: CLI, tracking, checksum validation, rollback, and safe SQL execution.

14 Sep 2025

Chukwuma Akunyili

Read Article
Dynamic Formal Verification in OCaml: An Ortac/QCheck-STM Tutorial

We introduce the Ortac/QCheck-STM, a tool to automatically generate QCheck-STM tests based on Gospel specification, in a tutorial-like manner.

10 Sep 2025

Tarides

Read Article
Caching opam solutions

09 Sep 2025

Jon Ludlam's Blog at recoil.org

Read Article
Build IDs for Day10

08 Sep 2025

Jon Ludlam's Blog at recoil.org

Read Article
Giving hub.cl an upgrade

07 Sep 2025

Jon Ludlam's Blog at recoil.org

Read Article