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.

[Interview] Sylvain Conchon rejoint OCamlPro

Sylvain Conchon vient de rejoindre OCamlPro en tant que Chief Scientific Officer Méthodes Formelles. Professeur à l’Université Paris-Saclay, il travaille dans le domaine de la démonstration automatique pour la preuve de programmes et le model checking pour systèmes paramétrés. Il est aussi ...

05 Jun 2020

OCamlPro

Read Article
Tutoriel Format

Article écrit par Mattias. Le module Format d’OCaml est un module extrêmement puissant mais malheureusement très mal utilisé. Il combine notamment deux éléments distincts : les boîtes d’impression élégante les tags sémantiques Le présent article vise à démystifier une grande partie ...

01 Jun 2020

OCamlPro

Read Article
Using ASCII waveforms to test hardware designs

At Jane Street, an “expecttest” is atest where you don’t manually write the output you’d like to checkyour code against – instead, this output is captured au...

01 Jun 2020

Jane Street Tech Blog

Read Article
A Solidity parser in OCaml with Menhir

This article is cross-posted on Origin Labs’ Dune Network blog We are happy to announce the first release of our Solidity parser, written in OCaml using Menhir. This is a joint effort with Origin Labs, the company dedicated to blockchain challenges, to implement a full interpreter for the Solidity...

19 May 2020

OCamlPro

Read Article
vile 9.8u

18 May 2020

Marc Simpson

Read Article
OCaml RISC-V port is now upstream!

We’ve been using this patch in Fedora since Nov 2016.

24 Apr 2020

Richard Jones

Read Article