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.

Arakoon - a distributed consistent key-value store

Arakoon - a distributed consistent key-value store, by Nicolas Trangez. Arakoon is a simple consistent distributed key value store. Technically, it’s an OCaml implementation of Multi-Paxos on top of Tokyo Cabinet, using Ocsigen’s Light Weight T...

03 Oct 2021

Watch OCaml

View Video
Automatic analysis of industrial robot programs

Automatic analysis of industrial robot programs, by Markus Weißmann

03 Oct 2021

Watch OCaml

View Video
Real-world debugging in OCaml

Real-world debugging in OCaml, by Mark Shinwell

03 Oct 2021

Watch OCaml

View Video
OCamlPro - promoting OCaml use in industry

OCamlPro exists with the mission of promoting the successful use of OCaml in industry. OCamlPro builds a professional environment for the development of OCaml applications, including IDE integration, development tools and services. These include t...

03 Oct 2021

Watch OCaml

View Video
gloc - Metaprogramming WebGL Shaders with OCaml

gloc : Metaprogramming WebGL Shaders with OCaml, by David William Wallace Sheets and Ashima Arts. WebGL is a new Khronos Group standard for GPU-accelerated rendering by in-browser JavaScript applications. WebGL introduces a new language, WebG...

03 Oct 2021

Watch OCaml

View Video
Programming the Xen cloud using OCaml

Programming the Xen cloud using OCaml by David Scott, Anil Madhavapeddy and Richard Mortier. The Xen Cloud Platform (XCP)1 is an open-source software distribution that converts clusters of physical computers into many virtual machines, all isol...

03 Oct 2021

Watch OCaml

View Video
Async

Mark Shinwell and David House, Jane Street Europe. We propose to give a talk about Jane Street's Async library. This is an industrial-strength library for writing correct concurrent programs without having to think (too hard).

03 Oct 2021

Watch OCaml

View Video
An LLVM backend for OCaml

An LLVM backend for OCaml by Colin Benner. As part of my bachelor thesis I have implemented a new backend for the OCaml nativecode compiler ocamlopt for the AMD64 architecture. It uses the Low Level Virtual Machine framework (LLVM, an optimisin...

03 Oct 2021

Watch OCaml

View Video
Implementing an interval computation library for OCaml

Implementing an interval computation library for OCaml, by Jean-Marc Alliot, Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand and David Gianazza. In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64...

03 Oct 2021

Watch OCaml

View Video
Study of OCaml programs' memory behaviour

Study of OCaml programs’ memory behaviour, by Çagdas Bozman, Thomas Gazagnaire, Fabrice Le Fessant and Michel Mauny. In this paper, we present a preliminary work on new memory profiling tool and others, to help us to understand memory behaviour.

03 Oct 2021

Watch OCaml

View Video