Hello Here is the latest OCaml Weekly News, for the week of February 03 to 10, 2026. Table of Contents ───────────────── intel_hex.0.3 layoutz 0.0.2 - a tiny DSL for beautiful CLI output in OCaml 🪶 New release of Menhir (20260122) Caml in the Capital - Registrations Open! An experimental branch of Merlin based on Domains and Effects Other OCaml News Old CWN intel_hex.0.3 ═════════════ Archive: Mikhail announced ───────────────── Hi there! I am excited to announce the release of the [intel_hex] library. This library is a manipulation library that provides functions for reading, writing, and creating Intel HEX data, which is a common format used in embedded system programming. ┌──── │ Intel_hex.Record. │ [ │ Extended_segment_address 0x0F; │ Data (0x0000, "Hello "); │ Data (0x0007, "World!"); │ End_of_file; │ ] │ |> Intel_hex.records_to_string │ |> print_endline └──── ┌──── │ :02000002000FED │ :0600000048656C6C6F20E6 │ :06000700576F726C6421CA │ :00000001FF └──── Also, you can of course read the IHEX object file from other sources: ┌──── │ In_channel.with_open_text "data.hex" Intel_hex.object_of_channel └──── ┌──── │ - : Intel_hex.Object.t = │ { │ start_linear_address = 0; │ start_segment_address = {cs = 0; ip = 0}; │ chunks = [(240, "Hello "); (247, "World!")] │ } └──── Limitations 32-bitness. To represent 32-bit integers, the library uses the OCaml int data type. This may be problematic for 32-bit systems, as it can lead to overflow errors, but it works fine for most 64-bit systems. Start addressing and extending addressing. Not fully supported for real-world use. I would appreciate your pull request on this! [intel_hex] layoutz 0.0.2 - a tiny DSL for beautiful CLI output in OCaml 🪶 ═══════════════════════════════════════════════════════════════ Archive: Matthieu Court announced ──────────────────────── Hello all! Been working on [layoutz], a tiny, zero-dep combinator lib for making pretty, structured, terminal output: tables, trees, boxes, ANSI styled elements, etc. Would love to hear how the API feels: Smooth? Any missing primitives you'd expect? Many thanks! [layoutz] New release of Menhir (20260122) ════════════════════════════════ Archive: Continuing this thread, François Pottier announced ────────────────────────────────────────────────── I have introduced a printing bug in the Rocq back-end, reported by Xavier Leroy. I am releasing version 20260203 today to fix this bug. Caml in the Capital - Registrations Open! ═════════════════════════════════════════ Archive: Sacha Ayoun announced ───────────────────── Hi everyone ! We are excited to officially invite you to the first Caml in the Capital meetup! We have two fantastic talks planned, some free pizza 🍕 generously sponsored by the OCaml Software Foundation 🐪 and great company to chat with :grinning_face_with_smiling_eyes: • *Registration link:* [HERE] *(Please register asap so we can anticipate)* • *Date:* Thursday February 26th from 6:30pm to 8:30pm • *Location:* Imperial College London, Flowers Building, Room FLOW G.47A. [HERE] Talks ╌╌╌╌╌ ◊ Compile-time Computation for Caml /by Jeremy Yallop/ (Abstract TBD) ◊ Dynamic Verification of OCaml Software with ORTAC/QCheck-STM /by Nikolaus Huber/ In this talk I would like to introduce the QCheck-STM plugin for ORTAC, a framework for dynamic verification of OCaml code. ORTAC/QCheck-STM consumes OCaml module signatures annotated with contracts expressed in the Gospel language and generates code for automated runtime assertion checking from it. I will highlight some details of the implementation of the tool, the structure of the generated code, and on errors found in established OCaml libraries. — We are very much looking forward to meeting the OCaml community in London! Cheers, Alistair & Sacha An experimental branch of Merlin based on Domains and Effects ═════════════════════════════════════════════════════════════ Archive: Continuing this thread, Carine Morel announced ────────────────────────────────────────────── Hello! For those interested, [here] is the link to the video of the talk @pitag and I gave on the subject at Lambda World last year! Don't hesitate to ask questions here or under the video! [here] Other OCaml News ════════════════ >From the ocaml.org blog ─────────────────────── Here are links from many OCaml blogs aggregated at [the ocaml.org blog]. • [Windows Docker Images] • [Weeknotes for week 6] • [More CFI and frame pointers work] • [OCaml Roundup: January 2026] [the ocaml.org blog] [Windows Docker Images] [Weeknotes for week 6] [More CFI and frame pointers work] [OCaml Roundup: January 2026] Old CWN ═══════ If you happen to miss a CWN, you can [send me a message] and I'll mail it to you, or go take a look at [the archive] or the [RSS feed of the archives]. If you also wish to receive it every week by mail, you may subscribe to the [caml-list]. [Alan Schmitt] [send me a message] [the archive] [RSS feed of the archives] [caml-list] [Alan Schmitt]