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.
Tessera: A New Era of Open-Source Earth Intelligence from Space
Tessera is an open-source AI foundation model, co-funded by Tarides, that turns petabytes of satellite imagery into environmental insight anyone can use, no supercomputer required.
Communications Officer
OCaml now has type recovery: when type checking goes wrong, but keeps going
In this article, we'll look at how we migrated the Typing Recovery mechanism, which was previously part of the vendor-provided version of the Merlin OCaml compiler's front end, directly into OCaml.
Senior Software Engineer
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.
Principal Software Engineer
Senior Software Engineer
Senior Software Engineer
Senior Software Engineer
Combobulate Now Supports OCaml & OxCaml
OCaml now provides better structural code navigation for your projects with Combobulate!
Software Engineer
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
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.
Communications Officer
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.
Communications Officer
VSCode Walkthrough: Installing OCaml in 1 Click
We have created a VSCode walkthrough guiding users through installing OCaml with opam.
Communications Officer
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!
Communications Officer
Announcing New Wasm_of_ocaml Optimisations
Discover the latest optimisations we have brought to Wasm_of_ocaml in 2025!
Communications Officer
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!
Communications Officer
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.
Communications Officer
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!
Communications Officer
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.
Communications Officer
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!
Communications Officer
Ocsigen: A Full OCaml Framework for Websites and Apps
Discover the OCaml web development framework Ocsigen, from its origins to its many helpful features!
Communications Officer
Parsimoni Joins Techstars' Autumn 2025 Programme!
Parsimoni has been selected for Techstars' autumn 2025 space accelerator programme!
Communications Officer
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
