# Ecosystem **URL:** https://discuss.ocaml.org/c/eco/15.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [About the Ecosystem category](https://discuss.ocaml.org/t/about-the-ecosystem-category/1370)
**Author:** [@avsm](https://discuss.ocaml.org/u/avsm)\ **Replies:** 1\ **Last updated:** [February 18, 2023, 10:38pm UTC](https://discuss.ocaml.org/t/about-the-ecosystem-category/1370 "2023-02-18T22:38:17Z")
This category exists to discuss the OCaml ecosystem, such as build tools, testing frameworks, editor integrations, packaging systems and so on. If you have a query about any aspect of how to use OCaml in a practical set… --- ## [Is ocaml.org slop now?](https://discuss.ocaml.org/t/is-ocaml-org-slop-now/18568)
**Author:** [@reynir](https://discuss.ocaml.org/u/reynir)\ **Replies:** 8\ **Last updated:** [October 3, 2026, 8:19pm UTC](https://discuss.ocaml.org/t/is-ocaml-org-slop-now/18568 "2026-10-03T20:19:26Z")
Excuse the inflammatory title. I saw today this tutorial, and it has a disclaimer at the top that it was written with AI assistance and reviewed by the OCaml.org team: Managing Dependencies With opam · OCaml Documentati… --- ## [\[ANN\] dream-html 4.0.0](https://discuss.ocaml.org/t/ann-dream-html-4-0-0/18573)
**Author:** [@yawaramin](https://discuss.ocaml.org/u/yawaramin)\ **Replies:** 7\ **Last updated:** [October 2, 2026, 4:35pm UTC](https://discuss.ocaml.org/t/ann-dream-html-4-0-0/18573 "2026-10-02T16:35:17Z")
Hi, dream-html 4.0.0 has been released to opam: dream-html 4.0.0 · OCaml Package Repo: GitHub - yawaramin/dream-html: Type-safe markup rendering, form validation, and routing for OCaml Dream web framework · GitHub API … --- ## [OCaml Compiler Implemented in C++: It's Not Just Faster—It Also Increases Trust](https://discuss.ocaml.org/t/ocaml-compiler-implemented-in-c-its-not-just-faster-it-also-increases-trust/18576)
**Author:** [@mbacarella](https://discuss.ocaml.org/u/mbacarella)\ **Replies:** 4\ **Last updated:** [October 2, 2026, 2:16pm UTC](https://discuss.ocaml.org/t/ocaml-compiler-implemented-in-c-its-not-just-faster-it-also-increases-trust/18576 "2026-10-02T14:16:46Z")
You’re absolutely right to be skeptical of your compiler binaries. In this post, we’ll explore how a comprehensive C++ reimplementation unlocks DDC verification for OCaml — while delivering meaningful compile-time improv… --- ## [\[ANN\] hegel-ocaml 0.25.0 - concurrent stateful property-based testing](https://discuss.ocaml.org/t/ann-hegel-ocaml-0-25-0-concurrent-stateful-property-based-testing/18575)
**Author:** [@echoumcp1](https://discuss.ocaml.org/u/echoumcp1)\ **Replies:** 0\ **Last updated:** [October 1, 2026, 10:34am UTC](https://discuss.ocaml.org/t/ann-hegel-ocaml-0-25-0-concurrent-stateful-property-based-testing/18575 "2026-10-01T10:34:31Z")
Hello, we excited to announce hegel-ocaml 0.25.0! Since our last announcement of hegel-ocaml 0.14.1, we’ve added concurrent stateful property-based testing and nondeterminism handling to Hegel. Stateful property based t… --- ## [Checking dune files for semantic errors](https://discuss.ocaml.org/t/checking-dune-files-for-semantic-errors/18572)
**Author:** [@amaro](https://discuss.ocaml.org/u/amaro)\ **Replies:** 0\ **Last updated:** [September 30, 2026, 10:09pm UTC](https://discuss.ocaml.org/t/checking-dune-files-for-semantic-errors/18572 "2026-09-30T22:09:34Z")
Recently I’ve found two kinds of errors in one of our dune files: A dirs stanza containing directories that do not exist, e.g. (dirs foo bar) when only foo exists. A dune file inside a directory absent from a dirs stan… --- ## [\[ANN\] Ocsigen Server 8.0.0](https://discuss.ocaml.org/t/ann-ocsigen-server-8-0-0/18564)
**Author:** [@Vincent\_Balat](https://discuss.ocaml.org/u/Vincent_Balat)\ **Replies:** 1\ **Last updated:** [September 28, 2026, 8:41pm UTC](https://discuss.ocaml.org/t/ann-ocsigen-server-8-0-0/18564 "2026-09-28T20:41:14Z")
Hi everyone! Ocsigen Server 8.0.0 is out, the web server written in OCaml, usable as an executable or as a library. Some highlights: One command, no config file: ocsigenserver ./public serves a directory, and ocsigens… --- ## [\[ANN\] tw 1.1.0, Tailwind CSS in OCaml](https://discuss.ocaml.org/t/ann-tw-1-1-0-tailwind-css-in-ocaml/18554)
**Author:** [@samoht](https://discuss.ocaml.org/u/samoht)\ **Replies:** 1\ **Last updated:** [September 28, 2026, 2:26pm UTC](https://discuss.ocaml.org/t/ann-tw-1-1-0-tailwind-css-in-ocaml/18554 "2026-09-28T14:26:29Z")
I am happy to announce the release of tw 1.1.0 (available on brew already and soon in opam). $ brew install samoht/tap/tw $ opam install tw.1.1.0 tw is an implementation of Tailwind CSS v4 in pure OCaml. This is the fi… --- ## [Inlay Hints in neovim](https://discuss.ocaml.org/t/inlay-hints-in-neovim/16547)
**Author:** [@Hektor\_Suhr](https://discuss.ocaml.org/u/Hektor_Suhr)\ **Replies:** 15\ **Last updated:** [September 26, 2026, 4:57am UTC](https://discuss.ocaml.org/t/inlay-hints-in-neovim/16547 "2026-09-26T04:57:12Z")
Hello! Has anyone been able to set up inlay hints for the ocamllsp within neovim? It’s about the only thing I miss from vscode compared to neovim. This is my config. ocamllsp = { cmd = { "ocamllsp" }, filetypes = … --- ## [Type-theory Database for OCaml](https://discuss.ocaml.org/t/type-theory-database-for-ocaml/18558)
**Author:** [@mostafatouny](https://discuss.ocaml.org/u/mostafatouny)\ **Replies:** 0\ **Last updated:** [September 25, 2026, 1:42pm UTC](https://discuss.ocaml.org/t/type-theory-database-for-ocaml/18558 "2026-09-25T13:42:17Z")
Hello I am surveying the OCaml community’s interest about developing an OCaml driver for TypeDB. For a background, check Type Theory as the Unifying Foundation for Modern Databases. Discussion. How far do you see th… --- ## [Agentic Safety by Temporal Logic in OCaml](https://discuss.ocaml.org/t/agentic-safety-by-temporal-logic-in-ocaml/18557)
**Author:** [@mostafatouny](https://discuss.ocaml.org/u/mostafatouny)\ **Replies:** 0\ **Last updated:** [September 25, 2026, 1:25pm UTC](https://discuss.ocaml.org/t/agentic-safety-by-temporal-logic-in-ocaml/18557 "2026-09-25T13:25:53Z")
Hello, I would like to notify the community here about Sponsio and Dogwood. Both of which use Temporal Logic to enforce deterministic policies or contracts on agentic workflows. There are other applications like Policy … --- ## [Unhandled: a static checker for unhandled effects in OCaml 5, and a negative result](https://discuss.ocaml.org/t/unhandled-a-static-checker-for-unhandled-effects-in-ocaml-5-and-a-negative-result/18474)
**Author:** [@manishpaulish](https://discuss.ocaml.org/u/manishpaulish)\ **Replies:** 6\ **Last updated:** [September 25, 2026, 12:50pm UTC](https://discuss.ocaml.org/t/unhandled-a-static-checker-for-unhandled-effects-in-ocaml-5-and-a-negative-result/18474 "2026-09-25T12:50:40Z")
OCaml 5’s effect handlers are untyped: the compiler does not check that a performed effect is handled, so a missing handler compiles cleanly and fails at run time with Effect.Unhandled. We have been building a static c… --- ## [\[ANN\] opam 2.6.0 is out!](https://discuss.ocaml.org/t/ann-opam-2-6-0-is-out/18536)
**Author:** [@kit-ty-kate](https://discuss.ocaml.org/u/kit-ty-kate)\ **Replies:** 2\ **Last updated:** [September 24, 2026, 11:31am UTC](https://discuss.ocaml.org/t/ann-opam-2-6-0-is-out/18536 "2026-09-24T11:31:40Z")
Hi everyone, We’re happy to announce the release of opam 2.6.0 and encourage all users to upgrade. Note: the following section will recap the various major changes in opam 2.6.0 for anyone who haven’t already read the … --- ## [Cascade: A Typed CSS Toolkit in OCaml](https://discuss.ocaml.org/t/cascade-a-typed-css-toolkit-in-ocaml/18383)
**Author:** [@samoht](https://discuss.ocaml.org/u/samoht)\ **Replies:** 4\ **Last updated:** [September 23, 2026, 12:24pm UTC](https://discuss.ocaml.org/t/cascade-a-typed-css-toolkit-in-ocaml/18383 "2026-09-23T12:24:44Z")
I’m happy to announce the first release of cascade available in opam (opam install cascade) and in brew (brew install samoht/tap/cascade). Cascade is a library: a typed AST to represent CSS documents; a set of (cascad… --- ## [\[ANN\] moonpool 0.12](https://discuss.ocaml.org/t/ann-moonpool-0-12/18553)
**Author:** [@c-cube](https://discuss.ocaml.org/u/c-cube)\ **Replies:** 0\ **Last updated:** [September 22, 2026, 7:51pm UTC](https://discuss.ocaml.org/t/ann-moonpool-0-12/18553 "2026-09-22T19:51:02Z")
Howdy, I just released moonpool 0.12, now coming to an opam repository near you. Moonpool (first announced here) is a threadpool library for OCaml 5, leveraging domains to actually go brrrrrrr on multiple cores. The (st… --- ## [Shellcheck for Cram tests](https://discuss.ocaml.org/t/shellcheck-for-cram-tests/18551)
**Author:** [@amaro](https://discuss.ocaml.org/u/amaro)\ **Replies:** 1\ **Last updated:** [September 22, 2026, 5:58pm UTC](https://discuss.ocaml.org/t/shellcheck-for-cram-tests/18551 "2026-09-22T17:58:44Z")
When writing Cram tests, we end up making some mistakes, and using Shellcheck would allow us to avoid some of them. However, the format of run.t files does not currently allow running it “as is”. I tried doing some simp… --- ## [\[ANN\] melange-json is now jsonkit](https://discuss.ocaml.org/t/ann-melange-json-is-now-jsonkit/18550)
**Author:** [@pedrobslisboa](https://discuss.ocaml.org/u/pedrobslisboa)\ **Replies:** 0\ **Last updated:** [September 21, 2026, 1:35pm UTC](https://discuss.ocaml.org/t/ann-melange-json-is-now-jsonkit/18550 "2026-09-21T13:35:27Z")
Hey there! A while ago, we moved ppx\_deriving\_jsonschema into the melange-json project, so one PPX now provides both json decoding/encoding and jsonschema tools. At that point, melange-json no longer described it well, … --- ## [Running OCaml files straight from VS Code](https://discuss.ocaml.org/t/running-ocaml-files-straight-from-vs-code/18549)
**Author:** [@Tim-ats-d](https://discuss.ocaml.org/u/Tim-ats-d)\ **Replies:** 0\ **Last updated:** [September 21, 2026, 10:39am UTC](https://discuss.ocaml.org/t/running-ocaml-files-straight-from-vs-code/18549 "2026-09-21T10:39:33Z")
Hi everyone, I’m very glad to introduce a new feature in VSCode OCaml Platform in the release 2.4.0. This work was implemented by Tarides and funded by the OCaml Software Foundation. A “Run” button has been added to the… --- ## [GitHub CI execution times for OCaml projects](https://discuss.ocaml.org/t/github-ci-execution-times-for-ocaml-projects/17946)
**Author:** [@lindig](https://discuss.ocaml.org/u/lindig)\ **Replies:** 19\ **Last updated:** [September 19, 2026, 4:31pm UTC](https://discuss.ocaml.org/t/github-ci-execution-times-for-ocaml-projects/17946 "2026-09-19T16:31:54Z")
A workflow that takes seconds on my local machine takes 15 minutes or more on the GitHub CI because the whole world starting from the compiler is downloaded and compiled from sources. This is very different for a C proje… --- ## [Dk builds with relocatable OCaml](https://discuss.ocaml.org/t/dk-builds-with-relocatable-ocaml/18548)
**Author:** [@jbeckford](https://discuss.ocaml.org/u/jbeckford)\ **Replies:** 0\ **Last updated:** [September 18, 2026, 11:15pm UTC](https://discuss.ocaml.org/t/dk-builds-with-relocatable-ocaml/18548 "2026-09-18T23:15:48Z")
I thought this might be good to share with others. I had Windows builds of my build system (“dk”) failing because they were taking 2 hours to run (2hr time limit on public GitLab CI). The build is just regular opam with … --- ## [\[ANN\] ortac-0.8 specification-driven testing with Domains](https://discuss.ocaml.org/t/ann-ortac-0-8-specification-driven-testing-with-domains/17927)
**Author:** [@n-osborne](https://discuss.ocaml.org/u/n-osborne)\ **Replies:** 1\ **Last updated:** [September 16, 2026, 11:42am UTC](https://discuss.ocaml.org/t/ann-ortac-0-8-specification-driven-testing-with-domains/17927 "2026-09-16T11:42:07Z")
Hi! We, at Tarides, are very excited to announce the release of ortac-0.8.0 for specification-driven testing! ortac is a tool in the Gospel ecosystem. The core idea is to translate a subset of the Gospel specification l… --- ## [Notifications for security issues - what would you like to see?](https://discuss.ocaml.org/t/notifications-for-security-issues-what-would-you-like-to-see/18518)
**Author:** [@edwin](https://discuss.ocaml.org/u/edwin)\ **Replies:** 4\ **Last updated:** [September 15, 2026, 12:01pm UTC](https://discuss.ocaml.org/t/notifications-for-security-issues-what-would-you-like-to-see/18518 "2026-09-15T12:01:08Z")
Currently the following mechanisms exist for getting notifications about security issues once a fix is available: Advisory list on osv.dev for opam packages A CSV file with all security advisories ids for opam packages … --- ## [\[ANN\] Owebview 0.1 — native desktop windows with a web UI, from OCaml](https://discuss.ocaml.org/t/ann-owebview-0-1-native-desktop-windows-with-a-web-ui-from-ocaml/18521)
**Author:** [@frederic-lang](https://discuss.ocaml.org/u/frederic-lang)\ **Replies:** 11\ **Last updated:** [September 15, 2026, 3:25am UTC](https://discuss.ocaml.org/t/ann-owebview-0-1-native-desktop-windows-with-a-web-ui-from-ocaml/18521 "2026-09-15T03:25:42Z")
Hi everyone, I’m happy to announce the first release of Owebview, OCaml bindings to webview. It means an embedded web rendering engine in your OCaml apps. It is now available on opam: opam install owebview Owebview op… --- ## [\[ANN\] dead\_code\_analyzer 1.2.1 and 1.3.0](https://discuss.ocaml.org/t/ann-dead-code-analyzer-1-2-1-and-1-3-0/18530)
**Author:** [@fantazio](https://discuss.ocaml.org/u/fantazio)\ **Replies:** 0\ **Last updated:** [September 14, 2026, 9:23am UTC](https://discuss.ocaml.org/t/ann-dead-code-analyzer-1-2-1-and-1-3-0/18530 "2026-09-14T09:23:59Z")
Hello everyone, I am happy to announce 2 releases of the dead\_code\_analyzer (available via opam) : Release 1.2.1 includes a collection of bug fixes and strengthens semantics. This release is compatible with OCaml 5.… --- ## [What's the status of typed effects?](https://discuss.ocaml.org/t/whats-the-status-of-typed-effects/18439)
**Author:** [@JohnJ](https://discuss.ocaml.org/u/JohnJ)\ **Replies:** 22\ **Last updated:** [September 12, 2026, 6:40pm UTC](https://discuss.ocaml.org/t/whats-the-status-of-typed-effects/18439 "2026-09-12T18:40:35Z")
A few years ago when OCaml 5.0 landed with effects, there was a lot of discussion about making them typed in a way that prevents unhandled-effect runtime errors. Back then, there seemed to be an impression that typed eff… --- ## [\[Update\] Dune Package Management Support in VSCode](https://discuss.ocaml.org/t/update-dune-package-management-support-in-vscode/18523)
**Author:** [@PizieDust](https://discuss.ocaml.org/u/PizieDust)\ **Replies:** 0\ **Last updated:** [September 10, 2026, 1:03pm UTC](https://discuss.ocaml.org/t/update-dune-package-management-support-in-vscode/18523 "2026-09-10T13:03:21Z")
We are happy to announce improvements to the OCaml VSCode Extension relating to Dune Package Management (DPM). This update includes several bug fixes and quality-of-life improvements. In this new update: to activate DPM… --- ## [Bonsai not compiling on macOS](https://discuss.ocaml.org/t/bonsai-not-compiling-on-macos/18517)
**Author:** [@frederic-lang](https://discuss.ocaml.org/u/frederic-lang)\ **Replies:** 3\ **Last updated:** [September 9, 2026, 3:50pm UTC](https://discuss.ocaml.org/t/bonsai-not-compiling-on-macos/18517 "2026-09-09T15:50:41Z")
Hello, I wanted to use bonsai but I encountered a problem with bonsai v0.18 installation on my machine (macOS). Here is the path I followed to install bonsai : add the janestreet repository to my OPAM setup opam swit… --- ## [\[ANN\] opam 2.6.0~alpha1](https://discuss.ocaml.org/t/ann-opam-2-6-0-alpha1/18372)
**Author:** [@kit-ty-kate](https://discuss.ocaml.org/u/kit-ty-kate)\ **Replies:** 4\ **Last updated:** [September 8, 2026, 7:40pm UTC](https://discuss.ocaml.org/t/ann-opam-2-6-0-alpha1/18372 "2026-09-08T19:40:40Z")
Hi everyone, We are happy to announce the first alpha release of opam 2.6.0. This is the culmination of 2 years of team work requiring large internal changes, we hope you’ll enjoy it. This version is an alpha, we invit… --- ## [\[ANN\] TyXML 5.0.0](https://discuss.ocaml.org/t/ann-tyxml-5-0-0/18516)
**Author:** [@Vincent\_Balat](https://discuss.ocaml.org/u/Vincent_Balat)\ **Replies:** 0\ **Last updated:** [September 8, 2026, 11:51am UTC](https://discuss.ocaml.org/t/ann-tyxml-5-0-0/18516 "2026-09-08T11:51:46Z")
We are happy to announce TyXML 5.0.0, a major release. TyXML builds HTML and SVG documents whose validity is checked by the OCaml type system: an element the specification does not allow in a given position does not type… --- ## [\[ANN\] ocp-indent 1.10.0](https://discuss.ocaml.org/t/ann-ocp-indent-1-10-0/18513)
**Author:** [@NathanReb](https://discuss.ocaml.org/u/NathanReb)\ **Replies:** 0\ **Last updated:** [September 7, 2026, 7:46am UTC](https://discuss.ocaml.org/t/ann-ocp-indent-1-10-0/18513 "2026-09-07T07:46:56Z")
Here at OCamlPro we’re happy to announce the release of ocp-indent.1.10.0. The full release notes are available here if you want the detailed version. The main feature of this release is the support for new OCaml langu… [Next page](https://discuss.ocaml.org/c/eco/15.md?page=1)