Blog
The OCaml Planet
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
Like most places, Jane Street largely teaches developers through a kind of apprenticeshipmodel. A team matching process tries to thoughtfully match new devs ...
Training your teams has proven benefits, enhancing the efficiency and quality of work, and equipping members with the skills they need to tackle new c
L’équipe d’OCamlPro a récemment été sollicitée par l’association Roglo, une association française de généalogie qui gère une base de plus de 10 millions de personnes connectées dans une même arbre généalogique, et dont la base s'accroît d’environ 500 000 nouvelles contributions...
We are excited to announce the release of Alt-Ergo 2.6! Alt-Ergo is an open-source automated prover used for formal verification in software development. It is part of the arsenal behind static analysis frameworks such as TrustInSoft Analyzer and Frama-C, and is one of the solvers behind Why3, a pla...
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…
We have had the pleasure of hosting several interns in the compiler team this past year. Their projects have tackled varied and challenging…
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…
