|
Welcome to OCaml Discourse
|
|
0
|
13327
|
May 12, 2017
|
|
Dk builds with relocatable OCaml
|
|
0
|
41
|
September 18, 2026
|
|
[ANN] boulodrome : LLM as proof assistant
|
|
0
|
63
|
September 18, 2026
|
|
[ANN] ozstd 0.1
|
|
8
|
275
|
September 18, 2026
|
|
[ANN] opam-monorepo 0.5.0
|
|
0
|
69
|
September 18, 2026
|
|
[ANN] rtree 0.3.0
|
|
0
|
92
|
September 18, 2026
|
|
Unhandled: a static checker for unhandled effects in OCaml 5, and a negative result
|
|
5
|
547
|
September 17, 2026
|
|
[ANN] Unicode 18.0.0 update for Uucd, Uucp, Uunf and Uuseg
|
|
0
|
110
|
September 17, 2026
|
|
[ANN] opam 2.6.0 is out!
|
|
0
|
145
|
September 17, 2026
|
|
Blog post on static linking
|
|
0
|
193
|
September 16, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
1
|
261
|
September 16, 2026
|
|
Outreachy December 2026
|
|
0
|
126
|
September 15, 2026
|
|
Outreachy May 2026
|
|
16
|
899
|
September 15, 2026
|
|
Notifications for security issues - what would you like to see?
|
|
4
|
295
|
September 15, 2026
|
|
[ANN] Owebview 0.1 — native desktop windows with a web UI, from OCaml
|
|
11
|
619
|
September 15, 2026
|
|
[ANN] dead_code_analyzer 1.2.1 and 1.3.0
|
|
0
|
184
|
September 14, 2026
|
|
What's the status of typed effects?
|
|
22
|
1720
|
September 12, 2026
|
|
OCaml Public Security Meeting
|
|
0
|
146
|
September 12, 2026
|
|
Liquidsoap 2.5.x: a practical study of OCaml 5.x concurrency
|
|
0
|
267
|
September 11, 2026
|
|
[ANN] Introcaml (alpha): Polymorphic Printing and Introspection for OCaml
|
|
17
|
1262
|
September 11, 2026
|
|
[Update] Dune Package Management Support in VSCode
|
|
0
|
125
|
September 10, 2026
|
|
[ANN] tiny_httpd 0.22
|
|
2
|
212
|
September 10, 2026
|
|
Call for Talk Proposals @ OCaml Workshop 2026
|
|
41
|
2654
|
September 10, 2026
|
|
Bonsai not compiling on macOS
|
|
3
|
208
|
September 9, 2026
|
|
Opam-nix and the solo5 toolchain
|
|
4
|
253
|
September 8, 2026
|
|
[ANN] opam 2.6.0~alpha1
|
|
4
|
600
|
September 8, 2026
|
|
JFLA2027 : Premier appel à communications
|
|
1
|
199
|
September 8, 2026
|
|
[ANN] TyXML 5.0.0
|
|
0
|
174
|
September 8, 2026
|
|
Intel ISA specification interpreter/compiler is written in OCaml
|
|
0
|
289
|
September 7, 2026
|
|
[ANN] ocp-indent 1.10.0
|
|
0
|
149
|
September 7, 2026
|