# Latest **URL:** https://discuss.ocaml.org/latest.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [Welcome to OCaml Discourse](https://discuss.ocaml.org/t/welcome-to-ocaml-discourse/8)
**Author:** [@system](https://discuss.ocaml.org/u/system)\ **Replies:** 0\ **Last updated:** [May 12, 2017, 9:10am UTC](https://discuss.ocaml.org/t/welcome-to-ocaml-discourse/8 "2017-05-12T09:10:57Z")
This is an area to discuss the OCaml programming language, and the tooling and library ecosystem around it such as the opam package manager. You are very welcome here as a beginner to the language, and also for more adv… --- ## [\[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:** 1\ **Last updated:** [September 23, 2026, 9:40pm UTC](https://discuss.ocaml.org/t/ann-opam-2-6-0-is-out/18536 "2026-09-23T21:40:18Z")
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 … --- ## [\[ANN\] Unicode 18.0.0 update for Uucd, Uucp, Uunf and Uuseg](https://discuss.ocaml.org/t/ann-unicode-18-0-0-update-for-uucd-uucp-uunf-and-uuseg/18537)
**Author:** [@dbuenzli](https://discuss.ocaml.org/u/dbuenzli)\ **Replies:** 1\ **Last updated:** [September 23, 2026, 9:25pm UTC](https://discuss.ocaml.org/t/ann-unicode-18-0-0-update-for-uucd-uucp-uunf-and-uuseg/18537 "2026-09-23T21:25:48Z")
Hello, Unicode 18.0.0 was released on September 16th. It adds 13’007 new characters for a total of 172’808 characters. More numbers! This release notably adds support for the proto-cuneiform script, see §3 of the encod… --- ## [\[ANN\] opam-monorepo 0.5.0](https://discuss.ocaml.org/t/ann-opam-monorepo-0-5-0/18546)
**Author:** [@Firobe](https://discuss.ocaml.org/u/Firobe)\ **Replies:** 4\ **Last updated:** [September 23, 2026, 2:53pm UTC](https://discuss.ocaml.org/t/ann-opam-monorepo-0-5-0/18546 "2026-09-23T14:53:39Z")
Hi everyone, I’m happy to announce the release of a new version of opam-monorepo, a tool to assemble monorepos of your projects dependencies to compile them at once with dune, mainly used by Mirage to allow for easy cro… --- ## [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\] 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:** 0\ **Last updated:** [September 23, 2026, 12:16pm UTC](https://discuss.ocaml.org/t/ann-tw-1-1-0-tailwind-css-in-ocaml/18554 "2026-09-23T12:16:23Z")
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… --- ## [\[ANN\] ozstd 0.1](https://discuss.ocaml.org/t/ann-ozstd-0-1/18538)
**Author:** [@dx3mod](https://discuss.ocaml.org/u/dx3mod)\ **Replies:** 9\ **Last updated:** [September 22, 2026, 10:57pm UTC](https://discuss.ocaml.org/t/ann-ozstd-0-1/18538 "2026-09-22T22:57:30Z")
Yo! I am happy to announce the first release of ozstd library! The is a small, modern OCaml binding to Zstandard. It wraps the common one-shot and streaming C APIs in a simple, idiomatic interface. Features On… --- ## [\[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… --- ## [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:** 14\ **Last updated:** [September 22, 2026, 7:13pm UTC](https://discuss.ocaml.org/t/inlay-hints-in-neovim/16547 "2026-09-22T19:13:22Z")
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 = … --- ## [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\] 2nd release elm\_playground (a game engine for beginners)](https://discuss.ocaml.org/t/ann-2nd-release-elm-playground-a-game-engine-for-beginners/18552)
**Author:** [@aryx](https://discuss.ocaml.org/u/aryx)\ **Replies:** 0\ **Last updated:** [September 22, 2026, 2:04pm UTC](https://discuss.ocaml.org/t/ann-2nd-release-elm-playground-a-game-engine-for-beginners/18552 "2026-09-22T14:04:46Z")
It is my pleasure, again, to announce the second release of elm\_playground, an OCaml package that allows you to easily create pictures, animations, and even video games in a portable way using an API that really simplifi… --- ## [\[ANN\] boulodrome : LLM as proof assistant](https://discuss.ocaml.org/t/ann-boulodrome-llm-as-proof-assistant/18547)
**Author:** [@vbergeron](https://discuss.ocaml.org/u/vbergeron)\ **Replies:** 3\ **Last updated:** [September 22, 2026, 2:10am UTC](https://discuss.ocaml.org/t/ann-boulodrome-llm-as-proof-assistant/18547 "2026-09-22T02:10:22Z")
Hello all, The first public release of \`boulodrome\` is finally available ! It is a MCP server for Rocq/Coq proof assistance via the Pétanque protocol Boulodrome gives LLMs interactive access to the Rocq proof assistan… --- ## [\[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… --- ## [Outreachy May 2026](https://discuss.ocaml.org/t/outreachy-may-2026/17863)
**Author:** [@patricoferris](https://discuss.ocaml.org/u/patricoferris)\ **Replies:** 17\ **Last updated:** [September 20, 2026, 8:57am UTC](https://discuss.ocaml.org/t/outreachy-may-2026/17863 "2026-09-20T08:57:25Z")
Hello everyone, The OCaml community has signed up to Outreachy May 2026 (see past posts)! What is Outreachy? Outreachy is a paid, remote internship program. Outreachy promotes diversity in open source and open science… --- ## [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\] rtree 0.3.0](https://discuss.ocaml.org/t/ann-rtree-0-3-0/18545)
**Author:** [@patricoferris](https://discuss.ocaml.org/u/patricoferris)\ **Replies:** 0\ **Last updated:** [September 18, 2026, 2:57pm UTC](https://discuss.ocaml.org/t/ann-rtree-0-3-0/18545 "2026-09-18T14:57:24Z")
On behalf of the geocaml programmers, I am happy to announce the release of rtree.0.3.0. This release, after some community feedback removes the dependency on repr. For debugging and avoiding costly Stdlib.( = ) comparis… --- ## [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:** 5\ **Last updated:** [September 17, 2026, 7:24pm UTC](https://discuss.ocaml.org/t/unhandled-a-static-checker-for-unhandled-effects-in-ocaml-5-and-a-negative-result/18474 "2026-09-17T19:24:54Z")
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… --- ## [Blog post on static linking](https://discuss.ocaml.org/t/blog-post-on-static-linking/18535)
**Author:** [@bufordrat](https://discuss.ocaml.org/u/bufordrat)\ **Replies:** 0\ **Last updated:** [September 16, 2026, 5:27pm UTC](https://discuss.ocaml.org/t/blog-post-on-static-linking/18535 "2026-09-16T17:27:11Z")
Hello OCaml friends, I thought some of you might be interested in my new blog post on static linking: Take care! --- ## [\[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… --- ## [Outreachy December 2026](https://discuss.ocaml.org/t/outreachy-december-2026/18533)
**Author:** [@patricoferris](https://discuss.ocaml.org/u/patricoferris)\ **Replies:** 0\ **Last updated:** [September 15, 2026, 12:39pm UTC](https://discuss.ocaml.org/t/outreachy-december-2026/18533 "2026-09-15T12:39:41Z")
Hello everyone, The OCaml community has signed up to Outreachy December 2026! What is Outreachy? Outreachy is a paid, remote internship program. Outreachy promotes diversity in open source and open science. Our intern… --- ## [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… --- ## [OCaml Public Security Meeting](https://discuss.ocaml.org/t/ocaml-public-security-meeting/18526)
**Author:** [@hannes](https://discuss.ocaml.org/u/hannes)\ **Replies:** 0\ **Last updated:** [September 12, 2026, 3:02pm UTC](https://discuss.ocaml.org/t/ocaml-public-security-meeting/18526 "2026-09-12T15:02:53Z")
Dear everyone, on Tuesday Sep 15th at 14:00 CEST we have another public security meeting. It will take place at Jitsi Meet We will introduce ourselves, and are happy to discuss the topics you bring there. Find a prelim… --- ## [Liquidsoap 2.5.x: a practical study of OCaml 5.x concurrency](https://discuss.ocaml.org/t/liquidsoap-2-5-x-a-practical-study-of-ocaml-5-x-concurrency/18525)
**Author:** [@toots](https://discuss.ocaml.org/u/toots)\ **Replies:** 0\ **Last updated:** [September 11, 2026, 11:16pm UTC](https://discuss.ocaml.org/t/liquidsoap-2-5-x-a-practical-study-of-ocaml-5-x-concurrency/18525 "2026-09-11T23:16:19Z")
\[Full disclosure: some of the code and content linked below was done with the help of automated tools. This post is not.\] After a few years holding off on it, it was finally time to do the migration to OCaml 5 for the l… --- ## [\[ANN\] Introcaml (alpha): Polymorphic Printing and Introspection for OCaml](https://discuss.ocaml.org/t/ann-introcaml-alpha-polymorphic-printing-and-introspection-for-ocaml/18407)
**Author:** [@let-def](https://discuss.ocaml.org/u/let-def)\ **Replies:** 17\ **Last updated:** [September 11, 2026, 12:21pm UTC](https://discuss.ocaml.org/t/ann-introcaml-alpha-polymorphic-printing-and-introspection-for-ocaml/18407 "2026-09-11T12:21:15Z")
We (@Shogan.ai) are excited to share an alpha preview of Introcaml, an extension of OCaml 5.5.0 that brings the power of toplevel-style introspection directly into user programs. What is Introcaml? The OCaml toplevel ha… --- ## [\[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… [Next page](https://discuss.ocaml.org/latest.md?page=1)