# Ecosystem

**URL:** https://discuss.ocaml.org/c/eco/15.md?page=2

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

**Page:** 3

---

## [Is https://check.ci.ocaml.org being deprecated?](https://discuss.ocaml.org/t/is-https-check-ci-ocaml-org-being-deprecated/18346)

<div class="topic-metadata">

**Author:** [@Kakadu](https://discuss.ocaml.org/u/Kakadu)\
**Replies:** 7\
**Last updated:** [July 29, 2026, 11:44am UTC](https://discuss.ocaml.org/t/is-https-check-ci-ocaml-org-being-deprecated/18346 "2026-07-29T11:44:25Z")

</div>

It looks like that last run was in 2025…

---

## [\[ANN\] ocgtk 0.1: OCaml bindings for GTK 4 (preview release)](https://discuss.ocaml.org/t/ann-ocgtk-0-1-ocaml-bindings-for-gtk-4-preview-release/17944)

<div class="topic-metadata">

**Author:** [@chris-armstrong](https://discuss.ocaml.org/u/chris-armstrong)\
**Replies:** 13\
**Last updated:** [July 28, 2026, 4:05pm UTC](https://discuss.ocaml.org/t/ann-ocgtk-0-1-ocaml-bindings-for-gtk-4-preview-release/17944 "2026-07-28T16:05:45Z")

</div>

I’m pleased to announce the first preview release of ocgtk, OCaml bindings for GTK 4 (v0.1-preview0). What is it? ocgtk provides OCaml bindings for the GTK 4 widget toolkit and its associated libraries (GDK, GIO, Pango…

---

## [Bill of Materials for a given (dune) build](https://discuss.ocaml.org/t/bill-of-materials-for-a-given-dune-build/11054)

<div class="topic-metadata">

**Author:** [@mro](https://discuss.ocaml.org/u/mro)\
**Replies:** 2\
**Last updated:** [July 27, 2026, 11:12am UTC](https://discuss.ocaml.org/t/bill-of-materials-for-a-given-dune-build/11054 "2026-07-27T11:12:35Z")

</div>

is there a way to semi-automatically get a comprehensive opam package version list for all transitive dependencies of a build? E.g. when building seppo.social for a security audit that would come in handy.

---

## [\[ANN\] qiskit 2.0.1](https://discuss.ocaml.org/t/ann-qiskit-2-0-1/18378)

<div class="topic-metadata">

**Author:** [@dakk](https://discuss.ocaml.org/u/dakk)\
**Replies:** 0\
**Last updated:** [July 22, 2026, 10:05am UTC](https://discuss.ocaml.org/t/ann-qiskit-2-0-1/18378 "2026-07-22T10:05:23Z")

</div>

I’m glad to announce the release of qiskit 2.0.1 , an Ocaml wrapper for the Python quantum computing library “qiskit” form IBM. The latest release add support for qiskit \> 2.0, which includes some breaking changes: IBM…

---

## [Adoption of the Neovim plugin for OCaml](https://discuss.ocaml.org/t/adoption-of-the-neovim-plugin-for-ocaml/17876)

<div class="topic-metadata">

**Author:** [@Lucccyo](https://discuss.ocaml.org/u/Lucccyo)\
**Replies:** 8\
**Last updated:** [July 22, 2026, 8:28am UTC](https://discuss.ocaml.org/t/adoption-of-the-neovim-plugin-for-ocaml/17876 "2026-07-22T08:28:09Z")

</div>

We recently released a new NeoVim plugin for OCaml. It has been live for a few months now (you can find the announcement here if you are curious), and we would like to know what you think of it. The next step is to impr…

---

## [\[ANN\] Theo 0.1.0: a BDD library with theory support](https://discuss.ocaml.org/t/ann-theo-0-1-0-a-bdd-library-with-theory-support/18376)

<div class="topic-metadata">

**Author:** [@vouillon](https://discuss.ocaml.org/u/vouillon)\
**Replies:** 3\
**Last updated:** [July 21, 2026, 8:45pm UTC](https://discuss.ocaml.org/t/ann-theo-0-1-0-a-bdd-library-with-theory-support/18376 "2026-07-21T20:45:46Z")

</div>

I’m pleased to announce the first release of Theo, an OCaml library for Binary Decision Diagrams (BDDs). BDDs give you a canonical representation of boolean functions: two logically equivalent formulas always produce th…

---

## [Looking around for a monad for dealing with early "return"](https://discuss.ocaml.org/t/looking-around-for-a-monad-for-dealing-with-early-return/18356)

<div class="topic-metadata">

**Author:** [@Chet\_Murthy](https://discuss.ocaml.org/u/Chet_Murthy)\
**Replies:** 16\
**Last updated:** [July 21, 2026, 4:22pm UTC](https://discuss.ocaml.org/t/looking-around-for-a-monad-for-dealing-with-early-return/18356 "2026-07-21T16:22:01Z")

</div>

As with a lot of things, I think I know how to write this, but I figured I’d ask around, b/c I can’t find it by googling, and perhaps somebody here knows where to look. I’m translating some Python code to OCaml, and it…

---

## [Dune Package Management Updates](https://discuss.ocaml.org/t/dune-package-management-updates/18023)

<div class="topic-metadata">

**Author:** [@shonfeder](https://discuss.ocaml.org/u/shonfeder)\
**Replies:** 1\
**Last updated:** [July 19, 2026, 4:29am UTC](https://discuss.ocaml.org/t/dune-package-management-updates/18023 "2026-07-19T04:29:35Z")

</div>

Hello! The Tarides team is writing to share updates on Dune package management. Context Dune package management aims to improve some developer workflows by simplifying the use of opam dependencies in projects built with…

---

## [Why Ocsigen is staying on Lwt (for now)](https://discuss.ocaml.org/t/why-ocsigen-is-staying-on-lwt-for-now/18318)

<div class="topic-metadata">

**Author:** [@Vincent\_Balat](https://discuss.ocaml.org/u/Vincent_Balat)\
**Replies:** 37\
**Last updated:** [July 17, 2026, 10:50pm UTC](https://discuss.ocaml.org/t/why-ocsigen-is-staying-on-lwt-for-now/18318 "2026-07-17T22:50:36Z")

</div>

Over 2025 we migrated the whole Ocsigen stack (ocsigenserver, Eliom, ocsigen-toolkit, ocsigen-start) from Lwt to Eio. The migration compiles and the test suite passes. We have nonetheless decided not to release it and to…

---

## [OCaml Security Team, report for first half of 2026](https://discuss.ocaml.org/t/ocaml-security-team-report-for-first-half-of-2026/18366)

<div class="topic-metadata">

**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\
**Replies:** 1\
**Last updated:** [July 17, 2026, 10:07pm UTC](https://discuss.ocaml.org/t/ocaml-security-team-report-for-first-half-of-2026/18366 "2026-07-17T22:07:24Z")

</div>

Throughout the first half of 2026, the security team has worked on security advisories: the publishing pipeline (from report over communication and fixes, to the security vulnerability database - these days osv.dev and C…

---

## [\[ANN\] A small extension of Bigarray.Genarray adding iteration, mapping and folding](https://discuss.ocaml.org/t/ann-a-small-extension-of-bigarray-genarray-adding-iteration-mapping-and-folding/15005)

<div class="topic-metadata">

**Author:** [@NAlec](https://discuss.ocaml.org/u/NAlec)\
**Replies:** 6\
**Last updated:** [July 16, 2026, 5:43pm UTC](https://discuss.ocaml.org/t/ann-a-small-extension-of-bigarray-genarray-adding-iteration-mapping-and-folding/15005 "2026-07-16T17:43:55Z")

</div>

Dear community, I needed a few functions which were missing in the OCaml library : Bigarray.Genarray, and decided to write them for my own purpose : Iteration on genarrays mapping on genarrays folding on genarrays To…

---

## [\[ANN\] opam-minver 0.2.0 - automatically determine minimum dependency versions](https://discuss.ocaml.org/t/ann-opam-minver-0-2-0-automatically-determine-minimum-dependency-versions/18328)

<div class="topic-metadata">

**Author:** [@onetimerobot](https://discuss.ocaml.org/u/onetimerobot)\
**Replies:** 8\
**Last updated:** [July 16, 2026, 9:28am UTC](https://discuss.ocaml.org/t/ann-opam-minver-0-2-0-automatically-determine-minimum-dependency-versions/18328 "2026-07-16T09:28:45Z")

</div>

I have published opam-minver 0.2.0 (previous versions were not released to the public). What it does is use a binary search to find the minimum passing versions of a project’s dependencies listed in its opam file and opt…

---

## [\[ANN\] hegel 0.12.1](https://discuss.ocaml.org/t/ann-hegel-0-12-1/18358)

<div class="topic-metadata">

**Author:** [@echoumcp1](https://discuss.ocaml.org/u/echoumcp1)\
**Replies:** 0\
**Last updated:** [July 15, 2026, 7:13pm UTC](https://discuss.ocaml.org/t/ann-hegel-0-12-1/18358 "2026-07-15T19:13:46Z")

</div>

Hello! I work at Antithesis, a deterministic simulation testing startup. Recently, we released Hegel for OCaml. Hegel is a family of PBT libraries based on Hypothesis, providing powerful, ergonomic property-based testi…

---

## [\[ANN\] opam 2.5.2](https://discuss.ocaml.org/t/ann-opam-2-5-2/18338)

<div class="topic-metadata">

**Author:** [@kit-ty-kate](https://discuss.ocaml.org/u/kit-ty-kate)\
**Replies:** 0\
**Last updated:** [July 9, 2026, 4:00pm UTC](https://discuss.ocaml.org/t/ann-opam-2-5-2/18338 "2026-07-09T16:00:36Z")

</div>

Hi everyone, opam 2.5.2 is now available. This release is fixing: a security issue (OSEC-2026-10) a regression from 2.5.1 preventing cross-compiled packages that use dune from installing properly (ocaml/dune#14393) W…

---

## [Opam pin add: Error: I don't know about package XXX (passed through --only-packages)](https://discuss.ocaml.org/t/opam-pin-add-error-i-dont-know-about-package-xxx-passed-through-only-packages/18321)

<div class="topic-metadata">

**Author:** [@Zoggy](https://discuss.ocaml.org/u/Zoggy)\
**Replies:** 6\
**Last updated:** [July 7, 2026, 7:50am UTC](https://discuss.ocaml.org/t/opam-pin-add-error-i-dont-know-about-package-xxx-passed-through-only-packages/18321 "2026-07-07T07:50:17Z")

</div>

Hello, I’m facing a strange error when using opam pin. opam install-ing a package works fine, but opam pin add-ing an archive results in (here with package vlt but the error is the same with any package): opam pin add …

---

## [\[ANN\] menhirformat 0.1.0](https://discuss.ocaml.org/t/ann-menhirformat-0-1-0/18322)

<div class="topic-metadata">

**Author:** [@dalps](https://discuss.ocaml.org/u/dalps)\
**Replies:** 2\
**Last updated:** [July 5, 2026, 2:16pm UTC](https://discuss.ocaml.org/t/ann-menhirformat-0-1-0/18322 "2026-07-05T14:16:31Z")

</div>

Hello, I’m glad to announce the first release of menhirformat, a command line tool that formats and indents Menhir and ocamllex source code. It uses the ocamlformat RPC to pretty-print the OCaml sections of your lexers …

---

## [\[ANN\] rpgm-decrypt — a formally-verified RPG Maker asset decryptor in OCaml](https://discuss.ocaml.org/t/ann-rpgm-decrypt-a-formally-verified-rpg-maker-asset-decryptor-in-ocaml/18324)

<div class="topic-metadata">

**Author:** [@rolanfreeman6-png](https://discuss.ocaml.org/u/rolanfreeman6-png)\
**Replies:** 0\
**Last updated:** [July 5, 2026, 7:52am UTC](https://discuss.ocaml.org/t/ann-rpgm-decrypt-a-formally-verified-rpg-maker-asset-decryptor-in-ocaml/18324 "2026-07-05T07:52:53Z")

</div>

Hi everyone))) :slightly\_smiling\_face: I’d like to share rpgm-decrypt, a small command-line tool that decrypts and extracts RPG Maker asset archives (XP / VX / VX Ace via .rgssad/.rgss2a/.rgss3a, and MV / MZ via the X…

---

## [Vibe-coding in OCaml: a bleg from a retiree](https://discuss.ocaml.org/t/vibe-coding-in-ocaml-a-bleg-from-a-retiree/18216)

<div class="topic-metadata">

**Author:** [@Chet\_Murthy](https://discuss.ocaml.org/u/Chet_Murthy)\
**Replies:** 23\
**Last updated:** [July 4, 2026, 5:23pm UTC](https://discuss.ocaml.org/t/vibe-coding-in-ocaml-a-bleg-from-a-retiree/18216 "2026-07-04T17:23:29Z")

</div>

I’m retired, so all my coding is … “for fun”. I got out a bit before this new LLM thing, so luckily I haven’t had a need to learn how it works. I maintain and hack on some decent-sized projects (one of them has 11 vers…

---

## [Error 139 when building ocaml.5.5.0 on Ubuntu 26.04](https://discuss.ocaml.org/t/error-139-when-building-ocaml-5-5-0-on-ubuntu-26-04/18310)

<div class="topic-metadata">

**Author:** [@ysalmon](https://discuss.ocaml.org/u/ysalmon)\
**Replies:** 12\
**Last updated:** [July 3, 2026, 1:27am UTC](https://discuss.ocaml.org/t/error-139-when-building-ocaml-5-5-0-on-ubuntu-26-04/18310 "2026-07-03T01:27:52Z")

</div>

I am trying to give 5.5.0 a look but I cannot build it on my machine. opam switch create 5.5.0 gives the following error : === ERROR while compiling ocaml.5.5.0========================================# # context 2…

---

## [OCaml 5.5.0 released](https://discuss.ocaml.org/t/ocaml-5-5-0-released/18265)

<div class="topic-metadata">

**Author:** [@octachron](https://discuss.ocaml.org/u/octachron)\
**Replies:** 9\
**Last updated:** [July 2, 2026, 8:10pm UTC](https://discuss.ocaml.org/t/ocaml-5-5-0-released/18265 "2026-07-02T20:10:39Z")

</div>

We have the pleasure of celebrating the birthday of Blaise Pascal by announcing the release of OCaml version 5.5.0. Some of the highlights in OCaml 5.5.0 are: Module-dependent Functions Modules can now be used as funct…

---

## [\[ANN\] Landmarks 1.7](https://discuss.ocaml.org/t/ann-landmarks-1-7/18319)

<div class="topic-metadata">

**Author:** [@nojb](https://discuss.ocaml.org/u/nojb)\
**Replies:** 0\
**Last updated:** [July 2, 2026, 8:51am UTC](https://discuss.ocaml.org/t/ann-landmarks-1-7/18319 "2026-07-02T08:51:20Z")

</div>

Dear community, We are pleased to announce a new release of Landmarks, a simple runtime profiler for OCaml. The main novelty in this release is the possibility of defining custom backends to generate reports that can…

---

## [OCaml website is down](https://discuss.ocaml.org/t/ocaml-website-is-down/18300)

<div class="topic-metadata">

**Author:** [@yawaramin](https://discuss.ocaml.org/u/yawaramin)\
**Replies:** 4\
**Last updated:** [July 1, 2026, 3:40am UTC](https://discuss.ocaml.org/t/ocaml-website-is-down/18300 "2026-07-01T03:40:46Z")

</div>

For about 2h 45m now… EDIT: some time ago I made an uptime monitor for ocaml.org (out of curiosity). It pings the website every 5 minutes, so nothing crazy. Here’s the status page based on that:

---

## [Owebview : OCaml binding to the webview library](https://discuss.ocaml.org/t/owebview-ocaml-binding-to-the-webview-library/18305)

<div class="topic-metadata">

**Author:** [@frederic-lang](https://discuss.ocaml.org/u/frederic-lang)\
**Replies:** 7\
**Last updated:** [June 29, 2026, 7:12pm UTC](https://discuss.ocaml.org/t/owebview-ocaml-binding-to-the-webview-library/18305 "2026-06-29T19:12:58Z")

</div>

Hi everyone! :waving\_hand: I’d like to share a small project I’ve been working on: owebview, a set of OCaml bindings for webview. What is webview? webview is a tiny, cross-platform library for building desktop GUIs usi…

---

## [Opam list very slow on opam 2.5](https://discuss.ocaml.org/t/opam-list-very-slow-on-opam-2-5/18187)

<div class="topic-metadata">

**Author:** [@ysalmon](https://discuss.ocaml.org/u/ysalmon)\
**Replies:** 10\
**Last updated:** [June 26, 2026, 9:35am UTC](https://discuss.ocaml.org/t/opam-list-very-slow-on-opam-2-5/18187 "2026-06-26T09:35:17Z")

</div>

I recently upgraded from ubuntu 24.04 to 26.04 and thus from (I presume) opam 2.1 to 2.5. It appears that Emacs takes a very long time to start due to user-setup’s opam-detect-installed-tools, which does opam list --ins…

---

## [A syntax-analysis question (when you want something quick-and-dirty)](https://discuss.ocaml.org/t/a-syntax-analysis-question-when-you-want-something-quick-and-dirty/18298)

<div class="topic-metadata">

**Author:** [@Chet\_Murthy](https://discuss.ocaml.org/u/Chet_Murthy)\
**Replies:** 1\
**Last updated:** [June 25, 2026, 8:13pm UTC](https://discuss.ocaml.org/t/a-syntax-analysis-question-when-you-want-something-quick-and-dirty/18298 "2026-06-25T20:13:52Z")

</div>

I’m a Perl bigot, and … well, it is what it is. Recently I’m working on a problem that requires me to parse files output from ANTLR, and because it’s a tiny, tiny part of my project, I wrote the code to do that as if I …

---

## [\[ANN\] new releases: Merlin 5.8 and OCaml-LSP 1.27.0 with support for OCaml 5.5](https://discuss.ocaml.org/t/ann-new-releases-merlin-5-8-and-ocaml-lsp-1-27-0-with-support-for-ocaml-5-5/18293)

<div class="topic-metadata">

**Author:** [@vds](https://discuss.ocaml.org/u/vds)\
**Replies:** 0\
**Last updated:** [June 25, 2026, 3:03pm UTC](https://discuss.ocaml.org/t/ann-new-releases-merlin-5-8-and-ocaml-lsp-1-27-0-with-support-for-ocaml-5-5/18293 "2026-06-25T15:03:18Z")

</div>

I am glad to announce new releases of Merlin and OCaml-LSP :mage: ! Merlin is an editor service that provides modern IDE features for OCaml and OCaml-LSP is a frontend for Merlin that speaks with LSP clients. There are…

---

## [\[ANN\] Js\_of\_ocaml / Wasm\_of\_ocaml 6.4](https://discuss.ocaml.org/t/ann-js-of-ocaml-wasm-of-ocaml-6-4/18282)

<div class="topic-metadata">

**Author:** [@hhugo](https://discuss.ocaml.org/u/hhugo)\
**Replies:** 1\
**Last updated:** [June 25, 2026, 12:53pm UTC](https://discuss.ocaml.org/t/ann-js-of-ocaml-wasm-of-ocaml-6-4/18282 "2026-06-25T12:53:23Z")

</div>

I’m pleased to announce the joint release of js\_of\_ocaml and wasm\_of\_ocaml 6.4.0. Js\_of\_ocaml is a compiler from OCaml bytecode to JavaScript. It makes it possible to run pure OCaml programs in JavaScript environments l…

---

## [\[BLOG\] Static Analysis for OCaml](https://discuss.ocaml.org/t/blog-static-analysis-for-ocaml/18287)

<div class="topic-metadata">

**Author:** [@fantazio](https://discuss.ocaml.org/u/fantazio)\
**Replies:** 3\
**Last updated:** [June 25, 2026, 9:50am UTC](https://discuss.ocaml.org/t/blog-static-analysis-for-ocaml/18287 "2026-06-25T09:50:15Z")

</div>

Hi all, I wrote a short (and slightly opinionated) piece on the state of static analysis tooling for OCaml. The goal is to provide an overview of available tools, works in progress, and missing pieces. Let me know if t…

---

## ["locations" in s-expression/json for generated deserializers (a trip report)](https://discuss.ocaml.org/t/locations-in-s-expression-json-for-generated-deserializers-a-trip-report/18289)

<div class="topic-metadata">

**Author:** [@Chet\_Murthy](https://discuss.ocaml.org/u/Chet_Murthy)\
**Replies:** 3\
**Last updated:** [June 24, 2026, 6:47pm UTC](https://discuss.ocaml.org/t/locations-in-s-expression-json-for-generated-deserializers-a-trip-report/18289 "2026-06-24T18:47:47Z")

</div>

\[ETA: the thrust of this little trip-report, is: when you’re demarshalling JSON (or some other wireline) and you don’t know the -precise- format of that wireline, it helps to have generated deserializers that are identic…

---

## [LRgrep 0.9: Better syntax errors for OCaml and Menhir](https://discuss.ocaml.org/t/lrgrep-0-9-better-syntax-errors-for-ocaml-and-menhir/18286)

<div class="topic-metadata">

**Author:** [@let-def](https://discuss.ocaml.org/u/let-def)\
**Replies:** 0\
**Last updated:** [June 24, 2026, 4:50am UTC](https://discuss.ocaml.org/t/lrgrep-0-9-better-syntax-errors-for-ocaml-and-menhir/18286 "2026-06-24T04:50:54Z")

</div>

Hi everyone, I’ve just released LRgrep 0.9, a tool to customize the error messages of Menhir-generated LR parsers by reasoning about failure paths. The goal is to move from generic “Syntax error at line X” messages to …

[Previous page](https://discuss.ocaml.org/c/eco/15.md?page=1)

[Next page](https://discuss.ocaml.org/c/eco/15.md?page=3)
