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.

Exploring Static Data Race Freedom in OxCaml

Discover the data-race-freedom modes of OxCaml, and how we tested them on a multicore branch of OCaml's editor service Merlin!

15 Jul 2026

Tarides

Read Article
More OCaml on Pi Pico 2 W

Extending the Pico 2 implementation to add effects-based WiFi networking and improve the build system.

10 Jan 2026

Marc Elvers

Read Article
Multi Domain OCaml on Raspberry Pi Pico 2 Microcontroller

Running OCaml 5 with multicore support on bare-metal Raspberry Pi Pico 2 W (RP2350, ARM Cortex-M33).

31 Dec 2025

Marc Elvers

Read Article
Everything is a file; except when it’s not

Some titles make more sense than others. One of my oldest contributions to OCaml was a complete overhaul of Unix.stat et al in ocaml/ocaml#462 which formed part of OCaml 4.03. As part of the work on msvs-detect in late 2015, I’d ended up with a Windows 7 VM which had every single version of Visual Studio back to Visual Studio 6.0.

03 Apr 2025

David Allsopp's Blog

Read Article
Multicore Testing Tools: DSCheck Pt 2

Welcome to part two! If you haven't already, check out part one, where we introduce DSCheck and share one of its uses in a naive counter…

10 Apr 2024

Tarides

Read Article
Multicore Testing Tools: DSCheck Pt 1

Reaping the plentiful benefits of parallel programming requires the careful management of the intricacies that come with it. Tarides played…

14 Feb 2024

Tarides

Read Article