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.
We are happy to announce a new release of Alt‑Ergo (version 2.5.1). Alt-Ergo is a cutting-edge automated prover designed specifically for mathematical formulas, with a primary focus on advancing program verification. This powerful tool is instrumental in the arsenal of static analysis solutions su...
The OCaml community participated in the May 2023 round of Outreachy internships. Three interns worked on a range of projects including: MIDI over ethernet, persistent storage in MirageOS and improving error reporting in existing ppxlib-based ppxs....
Internships at Tarides We regularly have the pleasure of hosting internships where we work with engineers from all over the world on a…
For the past six years, I have been working with OCaml, most of this time has been spent writing code at Ahrefs to process a lot of data…
We’re once again at the end of our internship season, and it’s my taskto provide a few highlights of what the dev interns accomplished whilethey were here.
ICFP 2023 The 28th ACM Sigplan International Conference on Functional Programming is taking place in Seattle as I’m typing. This is the…
