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.
OCamlCC - raising low-level byte code to high-level C, by Michel Mauny Benoît Vaugon We present preliminary results about OCamlCC, a compiler producing native code from OCaml bytecode executables, through the generation of C code.
Ocsigen/Eliom: The state of the art, and the prospects, by Benedikt Becker and Vincent Balat
Biology is an increasingly computational discipline due to rapid advances in experimental techniques, especially DNA sequencing, that are generating data at unprecedented rates. The computational techniques needed range from the complex (.e.g algo...
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...
The State of OCaml (invited), Xavier Leroy
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...
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.
[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.
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...