Blog

The OCaml Planet RSS

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.

Building React Server Components in OCaml

Enhancing User Experience and Developer Productivity: implementing React Server Components in OCaml at Ahrefs

02 Nov 2023

Ahrefs

Read Article
The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!

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...

18 Sep 2023

OCamlPro

Read Article
Building Ahrefs codebase with Melange

What we learnt after experimenting with Melange, a fork of ReScript with a strong focus on keeping compatibility with OCaml.

18 May 2021

Ahrefs

Read Article
Recent and upcoming changes to Merlin

Merlin is a language server for the OCaml programming language; that is, a daemon that connects to your favourite text editor and provides…

26 Jan 2021

Tarides

Read Article
OCaml 4.01.0 entering Rawhide

After using OCaml for around 10 years it is still my favourite language, and it’s amazing how far ahead of other programming languages it remains to this day. OCaml 4.01.0 was released on Thu…

14 Sep 2013

Richard Jones

Read Article