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.

opam 2.0.8 release

We are pleased to announce the minor release of opam 2.0.8. This new version contains some backported fixes: Critical for fish users! Don't add . to PATH. [#4078] Fix sandbox script for newer ccache versions. [#4079 and #4087] Fix sandbox crash when ~/.cache is a symlink. [#4068] User modifications ...

08 Feb 2021

OCamlPro

Read Article
2020 at OCamlPro

2020 at OCamlPro OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training comp...

02 Feb 2021

OCamlPro

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
Release of Alt-Ergo 2.4.0

A new release of Alt-Ergo (version 2.4.0) is available. You can get it from Alt-Ergo's website. The associated opam package will be published in the next few days. This release contains some major novelties: Alt-Ergo supports incremental commands (push/pop) from the smt-lib standard. We switched co...

22 Jan 2021

OCamlPro

Read Article
opam 2.1.0~beta4 released

Feedback on this post is welcomed on Discuss! On behalf of the opam team, it gives me great pleasure to announce the third beta release of opam 2.1. Don’t worry, you didn’t miss beta3 - we had an issue with a configure script that caused beta2 to report as beta3 in some instances, so we skipped ...

13 Jan 2021

OCamlPro

Read Article
Tarides sponsors the Oxbridge Women in Computer Science Conference 2020

The Oxbridge Women in Computer Science conference is an annual one-day event hosted by the Universities of Oxford and Cambridge (UK). The…

14 Dec 2020

Tarides

Read Article