Looking Back on 2025: What Did We Do for OCaml?
<optional, will be show on the blog index>
Engineering Blog
#awards
#blockchain
#business
#community
#compiler
#cybersecurity
#devtools
#editor
#eio
#events
#functional programming
#functional-programming
#interview
#iot
#irmin
#memory-safety
#mirageos
#multicore
#ocaml
#open-source
#partnership
#space
#sponsor
#team
#tutorial
#wasm
#windows
Stay Updated on OCaml and MirageOS!
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.
Creating ocaml.nvim to Bring Neovim Support to OCaml's LSP Server
ocaml.nvim to Bring Neovim Support to OCaml's LSP ServerIntroducing the `ocaml.nvim` plugin, which integrates OCaml's Neovim editor with the LSP.
CG
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
ocaml-eglotDiscover 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.
SH
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.
NO
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
clang-cl With OCaml 5Antonin 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.
AW
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!
AW
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
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
Unlock your Team’s Potential with Expert Training in OCaml, Cybersecurity Fundamentals, Functional Programming, and More
Training your teams has proven benefits, enhancing the efficiency and quality of work, and equipping members with the skills they need to tackle new challenges. Specialist training empowers them to use new techniques, leverage advanced technologies, and solve more complex problems. At Tarides, we ar…
Head Consulting Services
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
Summer of Internships: Projects From the OCaml Compiler Team
We have had the pleasure of hosting several interns in the compiler team this past year. Their projects have tackled varied and challenging tasks touching on different aspects of compiler development, ranging from modularising the observability tool Olly to creating eBPF-based kernel-side performanc…
Communications Officer
Eio From a User's Perspective: An Interview With Simon Grondin
Are you curious about Eio but not sure what to expect? Eio is an effects-based direct-style concurrency library for OCaml 5. I recently spoke with Simon Grondin from Asemio about his personal experience using the I/O library Eio. He was kind enough to share the good and the bad and give me insight i…
Communications Officer
Introducing the odoc Cheatsheet: Your Handy Guide to OCaml Documentation
odoc Cheatsheet: Your Handy Guide to OCaml DocumentationFor 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