Tarides

Dive into static analysis and how it's used to verify properties of programs in Charlene Gros' Tech Talk on our YouTube channel🐫 https://www.youtube.com/watch?v=EALzEgVEuyM

The new ocaml.nvim plugin provides Neovim integration to OCaml's LSP server – giving users access to advanced ocaml-lsp features with less fuss 🌟 https://tarides.com/blog/2025-12-10-creating-ocaml-nvim-to-bring-neovim-support-to-ocaml-s-lsp-server/

Check out our new video tutorial on setting up your first project with Dune, including how to use watch mode, modules, and yojson! 🐫 https://www.youtube.com/watch?v=F_PRxXJFyMI

Take a journey back to Singapore and the biggest functional programming conference of 2025 in this post from our blog: https://tarides.com/blog/2025-12-04-icfp-2025-looking-back-at-the-biggest-functional-programming-conference-of-the-year/

Check out the new Unikraft backend for MirageOS. Samuel Hym shared the goals, design, benchmarks, and more about the new feature on the blog: https://tarides.com/blog/2025-11-13-announcing-unikraft-support-for-mirageos-unikernels/

With Emacs integration to OCaml's LSP server, both the user and the maintainer benefit from a simplified setup! You can learn more on our blog: https://tarides.com/blog/2025-11-27-bringing-emacs-support-to-ocaml-s-lsp-server-with-ocaml-eglot/

We are happy to share that the FLOSS/Fund is supporting our work on the OCaml-native CI and workflow framework OCurrent! Learn more on the blog: https://tarides.com/blog/2025-10-30-supporting-ocurrent-floss-fund-backs-maintenance-for-ocaml-s-native-ci-framework/

Curious about using functional programming for web development? This blog post gives you an overview of Ocsigen, a full web development framework for OCaml!
https://tarides.com/blog/2025-10-02-ocsigen-a-full-ocaml-framework-for-websites-and-apps/

The 5.4 update of OCaml is out! Check out our blog for an overview of the biggest new features and fixes🐫 https://tarides.com/blog/2025-10-10-ocaml-5-4-release-new-features-fixes-and-more/

Parsimoni is part of Techstars autumn 2025 space accelerator programme! It's a fantastic opportunity and we're excited to follow their progress🐫 🚀 https://tarides.com/blog/2025-09-25-parsimoni-joins-techstars-autumn-2025-programme/