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.

OCaml JTRT

This time of the year is, just like Christmas time, a time for laughs and magic... although the magic we are talking about, in the OCaml community, is not exactly nice, nor beautiful. Let's say that we are somehow akin to many religions: we know magic does exist , but that it is satanic and shouldn'...

01 Apr 2018

OCamlPro

Read Article
Putting the I back in IDE: Towards a Github Explorer

Imagine a system for editing and reviewing code where:

27 Mar 2018

Jane Street Tech Blog

Read Article
Release of Alt-Ergo 2.1.0

A new release of Alt-Ergo (version 2.1.0) is available on Alt-Ergo's website: https://alt-ergo.ocamlpro.com/#releases. An OPAM package for it will be published soon. In this release, we mainly improved the CDCL-based SAT solver to get performances similar to/better than the old Tableaux-like SAT. Th...

15 Mar 2018

OCamlPro

Read Article
New updates on TzScan

Update - TZScan.io can now work on top of the zeronet (zeronet.tzscan.io), we hope it can help the developers community monitor the network. You can now switch between the alphanet & zeronet networks! OCamlPro is pleased to announce an update of TzScan (https://tzscan.io), its Tezos block explorer t...

14 Mar 2018

OCamlPro

Read Article
Duck typing

21 Feb 2018

Daniil Baturin

Read Article
Learn OCaml in NYC

Interested in learning OCaml? In the NYC area? Then this mightbe for you!

16 Feb 2018

Jane Street Tech Blog

Read Article