Discover our latest posts on #devtools and explore related insights and stories.
Formal Verification: Release of Ortac 0.8.0 for Testing with Domains
Ortac 0.8.0 generates QCheck-STM test suites that check OCaml libraries for parallel safety with multiple SUTs. Here are the design choices behind it.
Senior Software Engineer
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!
Senior Software Engineer
VSCode Walkthrough: Installing OCaml in 1 Click
We have created a VSCode walkthrough guiding users through installing OCaml with opam.
Software Engineer
Announcing ciao-lwt: A Library for Migrating Lwt to Eio
Announcing a new collection of tools to automate the migration from Lwt to Eio!
Announcing New Wasm_of_ocaml Optimisations
Discover the latest optimisations we have brought to Wasm_of_ocaml in 2025!
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!
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.
Software Engineer
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.
Senior Software Engineer
Announcing Unikraft Support for MirageOS Unikernels
Get an overview of the Unikraft backend support for MirageOS, including performance benchmarks on different devices.
Principal Software Engineer
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
Ocsigen: A Full OCaml Framework for Websites and Apps
Discover the OCaml web development framework Ocsigen, from its origins to its many helpful features!
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.
Senior Software Engineer
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.
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.
Principal Software Engineer
Communications Officer
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
Senior Software Engineer
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!
Communications Officer
Senior Software Engineer
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?
Senior Software Engineer
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.
Communications Officer
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.
Software Engineer
MirageOS on OCaml 5!
Discover the ongoing work to make MirageOS compatible with OCaml 5 including the Solo5, Unikraft, and improved cross-compilation efforts.
Communications Officer
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.
Communications Officer
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.
Principal Software Engineer
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!
Principal Software Engineer
Advanced Code Navigation in OCaml-LSP
Tweaking the Language Server Protocol to perform code navigation in unintended but useful ways for OCaml.
Software Engineer
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.
Technical Writer
Dune Package Management: Revolutionising OCaml Development
At Tarides, we’ve been working on an initiative to improve the OCaml development experience: Dune Package Management. As outlined in the Platform Roadmap, which was created through community collaboration, the aim is to unify all OCaml development workflows under a single, streamlined tool. At Tar…
Technical Writer
Introducing the Dune Developer Preview: A New Era for OCaml Development
The Dune team is excited to announce the arrival of Dune Developer Preview, an experimental nightly release of Dune created to test improvements, including the new package management feature. This is a major milestone for OCaml development! We've been working hard improving Dune, and we're excited t…
Technical Writer
Introducing Dune: The Essential Build System for OCaml Developers
One of the first tools you'll encounter when adopting OCaml is Dune, OCaml's official build system. Understanding what Dune is and how it serves you is key to crafting everything from a small project to maintaining large-scale codebases. So let's dive in! Learn how Dune makes development easier and …
Technical Writer
Introducing the odoc Cheatsheet: Your Handy Guide to OCaml Documentation
For developers diving into the OCaml ecosystem, one of the essential tools you'll encounter is odoc. Whether you're a seasoned OCaml programmer or just starting out, understanding how to generate and navigate documentation efficiently is crucial. This is where odoc comes in, OCaml's official documen…
Technical Writer
Easy Debugging for OCaml With LLDB
If you’re just getting started with OCaml, you may be wondering how to effectively debug your code when things go wrong. Fortunately, OCaml's ecosystem has evolved, offering modern tools that make debugging a more approachable task. Tarides engineer Tim McGilchrist recently wrote a blog post that …
Technical Writer
Getting Specific: Announcing the Gospel and Ortac Projects
Part of the benefit of open-source development is the opportunity to collaborate on projects across traditional organisational boundaries, such as academia and industry. Tarides is part of a larger effort to develop a behavioural specification language and associated tooling for OCaml. The project c…
Senior Software Engineer
Communications Officer
Project-Wide Occurrences: A New Navigation Feature for OCaml 5.2 Users
With the release of merlin-lib 5.1-502 and associated ocaml-lsp-server, we brought a new, exciting feature to OCaml's editor tooling: project-wide occurrences. The traditional "occurrences" query in Merlin modes, named "Find All References" in LSP-based mode, was used to only return results in the a…
Principal Software Engineer
Creating the SyntaxDocumentation Command - Part 3: VSCode Platform Extension
In the final installment of our series on the SyntaxDocumentation command, we delve into its integration within the OCaml VSCode Platform extension. Building on our previous discussions about Merlin and OCaml LSP, this article explores how to make SyntaxDocumentation an opt-in feature in the popular…
Software Engineer
OCaml Compiler Manual HTML Generation
In order to avoid long, confusing URLs on the OCaml Manual pages, we set out to create a solution that shortens these URLs, including section references, and contains the specific version. The result improves readability and user experience. This article outlines the motivation behind these changes …
Senior Software Engineer
Introducing Olly: Providing Observability Tools for OCaml 5
It might be tempting to think that we can write code that works perfectly the first time around, but in reality optimisation and troubleshooting forms a big part of programming. However, there are more and less productive (and frustrating!) ways of problem solving. Having the right tools to guide yo…
Communications Officer
Creating the SyntaxDocumentation Command - Part 2: OCaml LSP
In the first part of this series, Creating the SyntaxDocumentation Command - Part 1: Merlin, we explored how to create a new command in Merlin, particularly the SyntaxDocumentation command. In this continuation, we will be looking at the amazing OCaml LSP project and how we have integrated our Synta…
Software Engineer
Effective ML Through Merlin's Destruct Command
The Merlin server and OCaml LSP server, two closely related OCaml language servers, enhance productivity with features like autocompletion and type inference. Their lesser known, yet highly useful destruct command simplifies the use of pattern matching by generating exhaustive match statements, as w…
Senior Software Engineer
Creating the SyntaxDocumentation Command - Part 1: Merlin
OCaml development has never been more enchanting, thanks to Merlin – the wizard of the editor realm. The magic of Merlin is something that makes programming in OCaml a very nice experience. By Merlin, I don't mean the old gray-haired, staff-bearing magic guy. I'm talking about the editor service t…
Software Engineer
Two Major Improvements in odoc: Introducing Search Engine Integration
In the world of OCaml documentation generation, there have been two significant enhancements that promise to make navigating OCaml documentation easier and more efficient. These improvements are divided into two distinct but interrelated components: changes in odoc itself and improvements in a searc…
Senior Software Engineer
Technical Writer
Are Your Programs Doing What You Think They're Doing? Introducing Monitoring Tools for Multicore OCaml
As programs grow in size and complexity, they become more challenging to optimise. When the cause of a particular performance issue can theoretically be attributed to multiple sources, developers need concrete data to drive their decision making and avoid time-consuming guesswork. As you can imagine…
Communications Officer
Meet odoc, OCaml's Documentation Generator
Effective documentation is a cornerstone of software development. It helps developers understand how to use a language, its libraries, and its tooling, which leads to more robust and maintainable code. When it comes to OCaml, odoc is the wizard behind the scenes, ensuring developers not only underst…
Technical Writer
Porting OBuilder to FreeBSD
OBuilder is a tool for performing arbitrary, reproduceable builds of OCaml-related software within a sandboxed environment. It is used by the CI team at Tarides to provide OCaml-based Continuous Integration (CI) for projects like opam-repo-ci, ocaml-ci, and multicoretest-ci. Originally written for L…
Principal Software Engineer
Principal Software Engineer
OBuilder on macOS
The CI team at Tarides provides critical infrastucture to support the OCaml community. At the heart of that infrastructure is providing a cluster of machines for running jobs. This blog post details how we improved our support for macOS and moved closer to our goal of supporting all Tier1 OCaml plat…
System Administrator
Sandmark: Boosting Multicore Projects with Performance Benchmarking
Introduction In the realm of software development, continuous improvement is paramount. When it comes to Multicore projects, the need for thorough benchmarking becomes even more critical. This is where Sandmark comes into play. Sandmark, developed for the OCaml programming language, has proven to be…
Senior Software Engineer
OCaml-CI Renovated
OCaml-CI started with the goal of making a better continuous build system for OCaml projects. When we began in 2019, the goals were clear: it should provide a zero-configuration experience for OCaml projects using opam and Dune, and it should use an incremental architecture to avoid expensive recomp…
Principal Software Engineer
Principal Software Engineer
Advanced Merlin Features: Destruct and Construct
Merlin is one of the most important tools for OCaml users, but a lot of its advanced feature often remain unknown. For OCaml newcomers who might not know, Merlin is the server software that provides intelligence to code editors when working on OCaml documents. It allows one to easily navigate the co…
Principal Software Engineer
Hillingar: MirageOS Unikernels on NixOS
NixOS allows reproducible deployments of systems by managing configuration declaratively. MirageOS is a unikernel creation framework that creates targeted operating systems for high-level applications that can run on a hypervisor. By building MirageOS unikernels with Nix, we can enable reproducible …
Software Engineer
Up-to-Date Online Documentation
Into the Fire The OCaml ecosystem relies on various resources and infrastructure such as ocaml.org, OCaml Docker images, opam-repo-ci, that are built and deployed using OCurrent. OCurrent is a library to express workflows and keep things up to date. As many of these projects are created using the sa…
Senior Software Engineer
OCaml's Platform Installer Alpha Release
Yesterday we announced the OCaml 5 beta release, and today we're excited to introduce the OCaml Platform Installer! The OCaml Platform is the recommended toolchain when working with OCaml. This new installer enables programmers to quickly set up the OCaml developer environment, so they don't need to…
Technical Writer
