Subscribe to our mailing list to receive the latest news from Tarides.
By signing up, you agree to receive emails from Tarides. You can unsubscribe at any time.
Formal Verification: Release of Ortac 0.8.0 for Testing with Domains
We announce the Ortac 0.8.0 release, giving details on some design and technical choices.
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
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.
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.
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
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!
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
OCaml 5.4 Release: New Features, Fixes, and More!
An overview of the OCaml 5.4 update highlighting new features and bug fixes!
Ocsigen: A Full OCaml Framework for Websites and Apps
Discover the OCaml web development framework Ocsigen, from its origins to its many helpful features!
Parsimoni Joins Techstars' Autumn 2025 Programme!
Parsimoni has been selected for Techstars' autumn 2025 space accelerator programme!
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.
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.
Communications Officer
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.
Senior Software Engineer
Communications Officer
Improving Memory Profiler Visualisations for OCaml
Discover our Internship project focusing on building new visualisations for OCaml's memory profiler "statmemprof".
Principal Software Engineer
Communications Officer
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
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.
Communications Officer
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
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.
Senior Software Engineer
Senior Software Engineer
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.
Communications Officer
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
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.
Communications Officer
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.
Principal 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
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.
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
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!
Senior Software Engineer
Communications Officer
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
Tarides: 2024 in Review
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.
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!
Senior Software Engineer
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.
Communications Officer
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.
Principal Software Engineer
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!
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
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.
Communications Officer
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.
Communications Officer
Making Crypto Safer: Introducing the ARGOS Project
We are partnering up to create a custom platform for evaluating, tracing, and detecting suspicious blockchain transactions.
Communications Officer
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.
Communications Officer
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
