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.

Transport Layer Security purely in OCaml

Transport Layer Security purely in OCaml by Hannes Mehnert and David Kaloper Meršinjak Transport Layer Security purely in OCamlTransport Layer Security (TLS) is probably the most widely de- ployed security protocol on the Internet. It is used t...

03 Oct 2021

Watch OCaml

View Video
The State of OCaml (invited), Xavier Leroy

The State of OCaml (invited), Xavier Leroy

03 Oct 2021

Watch OCaml

View Video
The OCaml Platform v1.0

The OCaml Platform v1.0, by Anil Madhavapeddy The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documen- tation, testing and IDE integration. The project is a collab- orative effort across the OCam...

03 Oct 2021

Watch OCaml

View Video
Simple, efficient, sound-and-complete combinator parsing

This proposal describes a parsing library that is based on current work due to be published as Simple, efficient, sound and complete combinator parsing for all context-free grammars, using an oracle.

03 Oct 2021

Watch OCaml

View Video
OCamlOScope - a New OCaml API Search

[OCamlOScope](http://ocamloscope.herokuapp.com) is a new search engine for OCaml programming. Tons of OCaml library packages, modules, types, constructors, functions and values can be searched via simple string queries.

03 Oct 2021

Watch OCaml

View Video
Nullable Type Inference

Nullable Type Inference, by Michel Mauny and Benoît Vaugon We present type inference algorithms for nullable types in ML-like programming languages. Starting with a sim- ple system, presented as an algorithm, whose only inter- est is to introdu...

03 Oct 2021

Watch OCaml

View Video
Multicore OCaml

Multicore OCaml, by Stephen Dolan, Leo White, Anil Madhavapeddy (University of Cambridge). Currently, threading is supported in OCaml only by means of a global lock, allowing at most thread to run OCaml code at any time. We present ongo- ing wo...

03 Oct 2021

Watch OCaml

View Video
Introduction to 0install

Introduction to 0install by Thomas Leonard 0install (pronounced “Zero Install”) is a decentralised cross-platform package manager. “Decentralised” means that organisations and individuals can host their software in their own package repositorie...

02 Oct 2021

Watch OCaml

View Video