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.

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
Internship Report: Refactoring Tools Coming to Merlin

Timéo shares his project integrating new refactoring features into Merlin, improving user experience with a new command.

20 Aug 2025

Tarides

Read Article
Add Your Own Recipes to the OCaml Cookbook!

The OCaml Cookbook is open to new contributions! This post gives you an overview of the feature and how to add your own recipes.

25 Jul 2025

Tarides

Read Article
Introducing Jane Street's OxCaml Branch!

An overview of Jane Street's OxCaml branch introducing new extensions to OCaml, and how Tarides is supporting the project.

09 Jul 2025

Tarides

Read Article
Improving Memory Profiler Visualisations for OCaml

Discover our Internship project focusing on building new visualisations for OCaml's memory profiler "statmemprof".

04 Jul 2025

Tarides

Read Article
Feature Parity Series: Improving Developer Tooling on macOS

Discover the work that went into improving OCaml debugging for macOS including frame pointers, CFI fixes and CI improvements.

18 Jun 2025

Tarides

Read Article
Opam Health Check: or How we Got to 90+% of Packages Building with Dune Package Management

A follow-up to the previous blog post about Dune package management, highlighting more bug fixes and summarising the project

05 Jun 2025

Tarides

Read Article
CEOS Project Kick-Off: Using Satellites to Survey the Earth

Announcing our part in the CEOs project, creating the next generation of satellites for earth observation.

30 May 2025

Tarides

Read Article
OCaml Web Development: Essential Tools and Libraries in 2025

Are you curious about using OCaml for web development? We outline some of the biggest tools and libraries you'll want to check out!

15 May 2025

Tarides

Read Article
Tarides at BOB Konferenz 2025

We were present at BOBKonf 2025, as speakers and attendees! Here's a brief report on our experiences in Berlin.

08 May 2025

Tarides

Read Article