[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

Alan Schmitt
2026-02-10T10:36:50Z

[-- Attachment #1: Type: text/plain, Size: 7723 bytes --]

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: <https://discuss.ocaml.org/t/ann-intel-hex-0-3/17771/1>

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] <https://github.com/dx3mod/intel_hex>

layoutz 0.0.2 - a tiny DSL for beautiful CLI output in OCaml 🪶
═══════════════════════════════════════════════════════════════

Archive:
<https://discuss.ocaml.org/t/ann-layoutz-0-0-2-a-tiny-dsl-for-beautiful-cli-output-in-ocaml/17774/1>

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]
<https://github.com/mattlianje/layoutz/tree/master/layoutz-ocaml>

New release of Menhir (20260122)
════════════════════════════════

Archive:
<https://discuss.ocaml.org/t/ann-new-release-of-menhir-20260122/17764/6>

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:
<https://discuss.ocaml.org/t/ann-caml-in-the-capital-registrations-open/17776/1>

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]
<https://www.eventbrite.sg/e/caml-in-the-capital-feb-2026-tickets-1977730614507>

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:
<https://discuss.ocaml.org/t/ann-an-experimental-branch-of-merlin-based-on-domains-and-effects/17195/11>

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] <https://www.youtube.com/watch?v=9JmtVtREAco>

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] <https://ocaml.org/blog/>

[Windows Docker Images]
<https://www.tunbury.org/2026/02/09/base-image-builder/>

[Weeknotes for week 6]
<https://jon.recoil.org/blog/2026/02/weeknotes-2026-06.html>

[More CFI and frame pointers work]
<https://lambdafoo.com/posts/2026-02-07-more-cfi-and-frame-pointers.html>

[OCaml Roundup: January 2026]
<https://patrick.sirref.org/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] <mailto:alan.schmitt@polytechnique.org>

[the archive] <https://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss>

[caml-list] <https://sympa.inria.fr/sympa/info/caml-list>

[Alan Schmitt] <https://alan.petitepomme.net/>

[-- Attachment #2: Type: text/html, Size: 18628 bytes --]