Explore OCaml, MirageOS, and Secure Systems Engineering

An Overview of OCaml Release Readiness: How Does the OCaml Ecosystem Stay Up-to-Date with the Compiler?

Wed, 12 Aug 2026

#community #open-source

An Overview of OCaml Release Readiness: How Does the OCaml Ecosystem Stay Up-to-Date with the Compiler?

Every new OCaml compiler release risks leaving the ecosystem's tools behind. Maintainers of ppxlib, Merlin, OCaml-LSP, Dune, OCamlFormat and odoc explain what it takes to be ready on day one.

Ulysse Gérard

Principal Software Engineer

AC

Ali Caglayan

PAD

Paul-Elliot Anglès d'Auriac

Senior Software Engineer

Patrick Ferris

Senior Software Engineer

Jules Aguillon

Senior Software Engineer

Four motorcycle racers coming around a curve in a desert-like climate, with an outline of mountains in the background. A red stop symbol, a circle with a diagonal line, is imposed on top of the image.

Wed, 15 Jul 2026

#devtools #multicore #open-source

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!

Carine Morel

Senior Software Engineer

A high-contrast, zoomed out image of nine camels with riders silouetted against a sunset-coloured sky.

Tue, 23 Jun 2026

#community #ocaml #open-source

OCaml 5.5 Summary: What's New in the Latest OCaml Update

What's new in OCaml's latest 5.5 update? New features, performance improvements, and bug fixes.

IS

Isabella Salenius

An abstract pattern of white and red circles, triangles, lines, and dotted lines against a dark grey/black background.

Tue, 12 May 2026

#functional-programming #ocaml

What is Functional Programming? A Look at the Programming Style from an OCaml Perspective

Get a comprehensive overview of the definitions, benefits, trade-offs, and use cases of functional programming.

IS

Isabella Salenius

Thu, 16 Apr 2026

#devtools #open-source

VSCode Walkthrough: Installing OCaml in 1 Click

We have created a VSCode walkthrough guiding users through installing OCaml with opam.

IS

Isabella Salenius

Pizie Dust

Software Engineer

A 3d render of paper boats against a blue background. They are in a line from the centre of the image towards the top right. The first one is yellow and the three others are white.

Thu, 05 Mar 2026

#devtools #eio

Announcing `ciao-lwt`: A Library for Migrating Lwt to Eio

Announcing a new collection of tools to automate the migration from Lwt to Eio!

IS

Isabella Salenius

Five arrows, two purple and three blue, pointing toward the top right corner against a yellow background.

Wed, 11 Feb 2026

#devtools #wasm

Announcing New Wasm_of_ocaml Optimisations

Discover the latest optimisations we have brought to Wasm_of_ocaml in 2025!

IS

Isabella Salenius

A 3D render of several blue document icons on a white background

Thu, 29 Jan 2026

#devtools #open-source

OCaml.org Now Uses `odoc` 3: What’s New?

Check out the features that come with the latest version of OCaml's documentation tool odoc!

IS

Isabella Salenius

Wed, 10 Dec 2025

#devtools #ocaml #open-source

Creating `ocaml.nvim` to Bring Neovim Support to OCaml's LSP Server

Introducing the `ocaml.nvim` plugin, which integrates OCaml's Neovim editor with the LSP.

IS

Isabella Salenius

CG

Charlène Gros

Software Engineer

Singapore at night in multicoloured lighting, showcasing the Marina Bay Sands Hotel and one of the Merlion statues.

Thu, 04 Dec 2025

#community #open-source

ICFP 2025: Looking Back at the Biggest Functional Programming Conference of the Year

Check out our summary of everything OCaml at ICFP 2025, including insights from the Tarides engineers who attended!

IS

Isabella Salenius

Thu, 27 Nov 2025

#devtools #editor

Bringing Emacs Support to OCaml's LSP Server with `ocaml-eglot`

Discover the `ocaml-eglot` project, a plugin that integrates OCaml's Emacs editor support with the LSP.

IS

Isabella Salenius

Xavier Van de Woestyne

Senior Software Engineer

A 3d render of some abstract cubic shapes interlocking with each other. The shapes have different colours, including red, yellow, purple, and blue.

Thu, 13 Nov 2025

#devtools #ocaml #open-source

Announcing Unikraft Support for MirageOS Unikernels

Get an overview of the Unikraft backend support for MirageOS, including performance benchmarks on different devices.

SH

Samuel Hym

Principal Software Engineer

An overhead drone image of a large motorway intersection

Thu, 30 Oct 2025

#devtools #ocaml #open-source

Supporting OCurrent: FLOSS/Fund Backs Maintenance for OCaml's Native CI Framework

Announcing FLOSS Fund's support for maintenance of OCaml's native CI and workflow framework OCurrent

KC Sivaramakrishnan

CTO

A 3D render of a black laptop with large square icons popping out of the screen, including a red pie-chart-looking diagram, a purple one with a chart, a blue one with smaller squares on it, and a yellow and a green one with a geometric representation of image and text. The background is beige.

Fri, 10 Oct 2025

#community #ocaml

OCaml 5.4 Release: New Features, Fixes, and More!

An overview of the OCaml 5.4 update highlighting new features and bug fixes!

IS

Isabella Salenius

A 3D render of a minimalist outline of the globe in blue plastic-looking material, with simplistic outlines of people surrounding the globe in a white plastic-looking material.

Thu, 02 Oct 2025

#business #devtools #ocaml

Ocsigen: A Full OCaml Framework for Websites and Apps

Discover the OCaml web development framework Ocsigen, from its origins to its many helpful features!

IS

Isabella Salenius

The earth viewed from space with a satellite in the upper right-hand corner.

Thu, 25 Sep 2025

#awards #iot #space

Parsimoni Joins Techstars' Autumn 2025 Programme!

Parsimoni has been selected for Techstars' autumn 2025 space accelerator programme!

IS

Isabella Salenius

Four pieces of a half-solved wooden jigsaw puzzle against a blue background

Wed, 10 Sep 2025

#devtools #ocaml

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.

NO

Nicolas Osborne

Senior Software Engineer

Different tools against a black background, including a screwdriver, drill, paintbrushes, colourful post-its, staples, eraser, and more.

Wed, 20 Aug 2025

#devtools #open-source

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.

TA

Timéo Arnouts

Top-down view of cooking utensils on a distressed wooden surface, including a bowl, wooden spoon, cutting board, bowl of flour, bowl of honey, milk, eggs, and a tea towel.

Fri, 25 Jul 2025

#community #open-source

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.

Isabella Leandersson

Communications Officer

A camel is lying down among some shrubs with its baby standing next to it. The baby is white with big brown spots, sort of like a cow.

Wed, 09 Jul 2025

#community #ocaml #open-source

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.

KC Sivaramakrishnan

CTO

Cuihtlauac Alvarado

Senior Software Engineer

Isabella Leandersson

Communications Officer

Fri, 04 Jul 2025

#functional-programming #multicore #open-source

Improving Memory Profiler Visualisations for OCaml

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

KR

Kashish Raimalani

Tim McGilchrist

Principal Software Engineer

Isabella Leandersson

Communications Officer

A top-down view of a macbook computer laptop with keyboard on a blue background. A black iphone, green succulent, black and yellow ruler, and silver corner of another device are also in the frame.

Wed, 18 Jun 2025

#community #devtools

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.

Tim McGilchrist

Principal Software Engineer

Isabella Leandersson

Communications Officer

A stack of cardboard boxes against a blue background.

Thu, 05 Jun 2025

#devtools #ocaml #open-source

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

Marek Kubica

Senior Software Engineer

A top-down satellite image of a green peninsula and surrounding archipelago against dark blue ocean.

Fri, 30 May 2025

#iot #partnership #space

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.

Isabella Leandersson

Communications Officer

Thu, 15 May 2025

#devtools #ocaml #open-source

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!

Isabella Leandersson

Communications Officer

Xavier Van de Woestyne

Senior Software Engineer

the Brandenburg gate in Berlin at night, lit up with hearts by a projector and "I heart Berlin" written on it

Thu, 08 May 2025

#editor #events #ocaml

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.

Antonin Décimo

Senior Software Engineer

Xavier Van de Woestyne

Senior Software Engineer

3d rendering of repeating desktop monitors on pink round stands diagonally against a pink background.

Wed, 23 Apr 2025

#community #open-source

Feature Parity Series: Restoring the MSVC Port

Discover everything that went into bringing MSVC support to OCaml 5 including C11 atomics, bug reports, winpthreads, and CI updates.

Isabella Leandersson

Communications Officer

Fri, 11 Apr 2025

#devtools #ocaml #open-source

Expanding Dune Package Management to the Rest of the Ecosystem

What happens if you try to build all Dune packages in opam-repository with Dune package management?

Marek Kubica

Senior Software Engineer

A zoomed-out shot of a shoreline in twilight, with an arc of light stretching from the lower right corner to the top left, it's the trail of a rocket launch.

Thu, 03 Apr 2025

#iot #partnership #space

OCaml in Space: SpaceOS is on a Satellite!

Our sister company Parsimoni sends OCaml into space aboard DPhi Space's Clustergate ride-sharing platform to test the cababilities of SpaceOS.

Isabella Leandersson

Communications Officer

Brussels' Cinquantenaire Arch against a blue sky.

Fri, 28 Mar 2025

#community #functional programming #open-source

FOSDEM 2025: Report from the Friendly Functional Languages BOF Room

Several of my colleagues and I went to FOSDEM 2025 and met many functional programming enthusiasts, sparking great conversations for next year's FOSDEM.

Sabine Schmaltz

Principal Software Engineer

A 3D rendering of a desktop computer monitor in a simple clay-like style, with illustrations of different apps popping up from the screen.

Thu, 13 Mar 2025

#devtools #eio #open-source

We're Moving Ocsigen from Lwt to Eio!

Announcing a new project transitioning the web development framework Ocsigen from Lwt to Eio and effects, creating new tools and workflows.

Isabella Leandersson

Communications Officer

An abstract image of multicoloured cyliners, vaguely resembling a bar chart.

Thu, 06 Mar 2025

#functional-programming #multicore #open-source

Feature Parity Series: Statmemprof Returns!

Statmemprof, a statistical memory profiler for OCaml, is now compatible with OCaml 5! Discover the technical background to the return of the feature.

Isabella Leandersson

Communications Officer

Fri, 28 Feb 2025

#devtools #ocaml

Full blown productivity in VSCode with OCaml

A perfect New Year's gift for OCamlers. Discover the latest features that make coding in OCaml faster and easier.

Pizie Dust

Software Engineer

a 3D render of the code snippet 'hello world' on a browser search bar against a multi-coloured background

Wed, 19 Feb 2025

#ocaml #open-source #wasm

The First Wasm_of_ocaml Release is Out!

Discover what's new with the release of Js_of_ocaml 6.0.1 – including Wasm support!

Olivier Nicole

Senior Software Engineer

Isabella Leandersson

Communications Officer

A top-down view of an above-ground motorway interchange

Thu, 06 Feb 2025

#devtools #mirageos

MirageOS on OCaml 5!

Discover the ongoing work to make MirageOS compatible with OCaml 5 including the Solo5, Unikraft, and improved cross-compilation efforts.

Isabella Leandersson

Communications Officer

Mon, 20 Jan 2025

#community #ocaml

In 2024, Tarides focused on making OCaml easier to adopt with better tools, expanded Windows support, and key ecosystem integrations like multicore and WebAssembly. Discover the highlights, including the first stable multicore release and the success of FUN OCaml.

Thomas Gazagnaire

CEO

An abstract pink 3D rendering of a cube made up of several small cubes, some of which are spreading out in the space above and below the cube.

Wed, 15 Jan 2025

#compiler #multicore

Using `clang-cl` With OCaml 5

Antonin shares his findings from building OCaml 5 with Clang-cl during the MSVC port restoration project, part of the effort to improve OCaml on Windows!

Antonin Décimo

Senior Software Engineer

Thu, 09 Jan 2025

#community #ocaml

OCaml 5.3: Features and Fixes!

OCaml 5.3 is released! This post gives you an overview of returning features, optimisations, and fixes as well as a taste for what's to come.

Isabella Leandersson

Communications Officer

A number of light bulbs with lights in them, hanging from cables in the ceiling.

Mon, 23 Dec 2024

#multicore #ocaml

Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned

We summarise the challenges and lessons learned in developing a test suite of property-based tests to help ensure the correctness of OCaml 5.

Jan Midtgaard

Principal Software Engineer

The torso of a person in a mustard coloured jumper tapping on a keyboard.

Wed, 18 Dec 2024

#business #community #ocaml

Learn OCaml the Easy Way - Including the Hard Bits

Discover some of the best resources for learning OCaml, including tutorials, books, and events. Are you a larger group? Learn more about our OCaml courses too!

Isabella Leandersson

Communications Officer

Wed, 11 Dec 2024

#devtools #multicore

Saturn 1.0: Data structures for OCaml Multicore

Announcing the 1.0 release of Saturn, a library of efficient, tested, concurrent data structures ready to use with OCaml 5.

Isabella Leandersson

Communications Officer

A futuristic computer illustration of a globe made up of blue dots, with neon-coloured lines swirling through the globe and around it against a dark background.

Wed, 04 Dec 2024

#devtools #mirageos #space

Irmin on MirageOS: Under-the-Hood With Notafs

Features of the Notafs filesystem for MirageOS which, designed to be used on satellites with SpaceOS, lets users use Irmin as a filesystem for MirageOS.

AW

Arthur Wendling

Principal Software Engineer

An abstract illustration with some neon-coloured lines connecting with each other in the foreground, and some dots and lines in the background.

Wed, 27 Nov 2024

#devtools #mirageos #space

Irmin on MirageOS: Introducing the Notafs File System

Announcing a new filesystem for MirageOS projects, designed to be used on satellites with SpaceOS, that also lets developers use Irmin with MirageOS!

AW

Arthur Wendling

Principal Software Engineer

Wed, 20 Nov 2024

#devtools #ocaml

Advanced Code Navigation in OCaml-LSP

Tweaking the Language Server Protocol to perform code navigation in unintended but useful ways for OCaml.

Pizie Dust

Software Engineer

A dark city street at night with a big square building lit up in the background. Following the street from left to right the name 'Berlin' is written in large, illuminated letters.

Wed, 13 Nov 2024

#community #events #ocaml

The New Conference on the Block: What is FUN OCaml?

All the details from the new FUN OCaml conference held in Berlin in 2024, which hosted multiple talks, workshops, and social activities.

Isabella Leandersson

Communications Officer

Three camels backlit by the sunset walking left to right, each led by a person.

Wed, 06 Nov 2024

#community #ocaml #open-source

Making OCaml Mainstream: Support Our Open Source Work on GitHub

Tarides contributes to the OCaml community by performing maintenance, hosting community events, and introducing new features to the language. You can now support this work by sponsoring it on GitHub.

Isabella Leandersson

Communications Officer

A 3D rendering of a wallet with crypto coins orbiting around it.

Wed, 30 Oct 2024

#blockchain #open-source

Making Crypto Safer: Introducing the ARGOS Project

We are partnering up to create a custom platform for evaluating, tracing, and detecting suspicious blockchain transactions.

Isabella Leandersson

Communications Officer

A view from the roof of the Duomo di Milano down onto a square at sunset

Wed, 23 Oct 2024

#events #functional-programming #ocaml

Looking Back on our Experience at ICFP!

Some of Tarides' engineers share their memories and impressions from the biggest functional programming event of the year.

Isabella Leandersson

Communications Officer

Wed, 16 Oct 2024

#devtools #ocaml

Dune Developer Preview: Installing The OCaml Compiler With Dune Package Management

Dune's Package Management system now supports direct installation of OCaml compilers, eliminating the need for external tools. This update improves efficiency, as compilers can be shared across projects, reducing build times. The enhancement makes Dune Package Management more robust and ready for broader use.

Christine Rose

Technical Writer

Engineering Blog

Stay Updated on OCaml and MirageOS!