The OCaml Planet RSS

tinybox: 150 classic games (Pong to Quake) and Apps, in OCaml, and moreIX, a full OS (kernel, toolchain, vcs, ...) in OCamlMichel Mauny, 1959-2026dream-html 4.0.0hegel-ocaml 0.25.0 - concurrent stateful property-based testingTutorial on GADTsOCaml Compiler Implemented in C++: It's Not Just Faster—It Also Increases TrustConf.funcp.org is a scam OCaml conferenceVaast 0.0.0 + Design discussiona2a SDK in OCaml

This year, for the first time, the Functional Programming Workshops were held in Paris, on Inria's, the French National Computer Science Research Institute, campus along with a watch party for the ICFP conference at Indianapolis. As each year we attended the OCaml Workshop to see the latest advances...

Spoke at CHIA's annual conference on AI for a changing world, as well as the first Cloud-Native Geospatial Forum outside the US, and started moving TESSERA's embeddings onto Source Cooperative.

Ten years of the CCI with Sir David Attenborough, Andrew's Royal Society Environment Medal lecture, and the third PROPL at PLDI, while wrapping a local DeepSeek agent in OCaml and a first stab at getting Eio fleshed out on Windows.

On 23 April, Borealis booted in orbit on DPhi Space's ClusterGate-2: a pure-OCaml CCSDS protocol stack with end-to-end-encrypted command and control and post-quantum key rotation. OxCaml is what comes next.

The GeoTessera project produces 128-channel geospatial embeddings from Sentinel satellite imagery. The dataset is tiled at 0.1-degree resolution across the globe, covering 9 years and comprising roughly 3.8 million tiles, each containing embeddings and scale-factor files.

Comparing NASA's F Prime flight framework with OCaml's MirageOS: state machines, type safety, and wiring patterns.