Blog

The OCaml Planet RSS

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.

Type

All Article Video

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.

Add your RSS feed!

Filtering by: Keyword: atom Clear all

Teaching Booleans About Versions: A Theory-Augmented BDD Library in OCaml

A tour of Theo, an OCaml BDD library with complement edges for O(1) negation, ephemeron-based caching, and theory support for reasoning about version constraints and equality, turning logical equivalence into a pointer comparison.

atom atoms bdd bdds ite low negate_high node theo theory

21 Jul 2026

Jérôme Vouillon

Read Article

[ARTICLE]

OCaml Weekly News, 30 Dec 2025

atom expr frontmatter_extractor frontmatter_extractor_yaml pacomb parser ppx prod some_text sum

30 Dec 2025

Caml Weekly News

Read Article

[ARTICLE]

AoAH Day 24: Tuatara, an evolving Atom aggregator that mutates

Tuatara is a feed aggregator that integrates Claude to evolve and patch its own code when encountering parsing errors, embodying the concept of self-healing software.

aoah atom ecology eio feed feedburner feeds fetching syndic tuatara

24 Dec 2025

Anil Madhavapeddy's Blog

Read Article

Disjunctive normal forms in big steps

This is probably a second-semester functional programming exercise, but I found it surprisingly hard, and could not find a solution online. So at the risk of depriving a TA from a problem for its m…

GADT atom cart conj disj dnf equiv form refl union

15 Apr 2014

Matthias Puech

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?