Blog

The OCaml Planet

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.

FUN OCaml 2025 - Join us in Warsaw, Poland on September 15 for a day full of presentations!

Fun OCaml 2025 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals around the globe! This is day 1 and we're live-streaming all the presentations! For the schedule, see https://fun-ocaml.com#schedule.

12 Sep 2025

FUN OCaml

View Video
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
Outreachy May 2025 Demo Day

The OCaml community participated in the May 2025 round of Outreachy internships. Two interns worked on a range of projects including [Claudius](https://github.com/claudiusFX/claudius) and [Dune](https://github.com/ocaml/dune). This meeting was ...

02 Sep 2025

Watch OCaml

View Video
OCaml Weekly 2025 w32 to w35

02 Sep 2025

Patrick Ferris' OCaml Blog

Read Article