The OCaml Planet

We present the formal verification of a subset of the Set module from the OCaml standard library. The proof is conducted using Cameleer, a new tool for the deductive verification of OCaml code. Cameleer takes as input an OCaml program, annotated u...

OCaml 5.0 with support for shared-memory parallelism being around the corner, there’s increasing interest in the community to port existing libraries to Multicore. This talk will take the attendees through what the arrival of Multicore means to th...

In this talk we present how we expose a wide variety of OCaml libraries and services so that they can be accessed from Python. Our initial use case on the Python side consisted in Jupyter notebooks used to analyse various datasets, these datasets ...

This talk presents GopCaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin’s internal design and its integration with existing OCaml and GNU Emacs toolchains. Kiran Gop...

We recently restructured our standard libraries at Jane Street in away that eliminates the difference between Core_kernel and Coreand we’re happy with the re...

Regular CI systems are optimised for workloads that do not require stable performance over time. This makes them unsuitable for running…

This year marks the 25th anniversary of the OCaml Language! It's an exciting time for OCaml programmers and enthusiasts. A fun and…

If you would like to sponsor the show contact https://twitter.com/davesnx Consider sponsoring António's work: https://github.com/sponsors/anmonteiro

It’s the end of another dev internship season, and this one markedsomething of a transition, since halfway through the season, NY-basedinterns were invited b...