|
Welcome to OCaml Discourse
|
|
0
|
13340
|
May 12, 2017
|
|
[ANN] Windtrap: one library for all your OCaml tests
|
|
2
|
56
|
September 27, 2026
|
|
OCaml running on a 1960s UNIVAC 1219B
|
|
5
|
427
|
September 26, 2026
|
|
Inlay Hints in neovim
|
|
15
|
1711
|
September 26, 2026
|
|
[ANN] kqueue-ml 0.5.0
|
|
1
|
236
|
September 26, 2026
|
|
Type-theory Database for OCaml
|
|
0
|
143
|
September 25, 2026
|
|
Agentic Safety by Temporal Logic in OCaml
|
|
0
|
120
|
September 25, 2026
|
|
Unhandled: a static checker for unhandled effects in OCaml 5, and a negative result
|
|
6
|
697
|
September 25, 2026
|
|
[ANN] ppx_deriving_{yaml,ezjsonm,yamlx} 0.5.0
|
|
0
|
61
|
September 25, 2026
|
|
A line-by-line translation of the OCaml runtime from C to Rust
|
|
23
|
4938
|
September 24, 2026
|
|
[ANN] opam-monorepo 0.5.0
|
|
5
|
362
|
September 24, 2026
|
|
[ANN] opam 2.6.0 is out!
|
|
2
|
366
|
September 24, 2026
|
|
[ANN] Unicode 18.0.0 update for Uucd, Uucp, Uunf and Uuseg
|
|
1
|
213
|
September 23, 2026
|
|
Cascade: A Typed CSS Toolkit in OCaml
|
|
4
|
728
|
September 23, 2026
|
|
[ANN] tw 1.1.0, Tailwind CSS in OCaml
|
|
0
|
130
|
September 23, 2026
|
|
[ANN] ozstd 0.1
|
|
9
|
506
|
September 22, 2026
|
|
[ANN] moonpool 0.12
|
|
0
|
149
|
September 22, 2026
|
|
Shellcheck for Cram tests
|
|
1
|
124
|
September 22, 2026
|
|
[ANN] 2nd release elm_playground (a game engine for beginners)
|
|
0
|
79
|
September 22, 2026
|
|
[ANN] boulodrome : LLM as proof assistant
|
|
3
|
337
|
September 22, 2026
|
|
[ANN] melange-json is now jsonkit
|
|
0
|
127
|
September 21, 2026
|
|
Running OCaml files straight from VS Code
|
|
0
|
135
|
September 21, 2026
|
|
Outreachy May 2026
|
|
17
|
1021
|
September 20, 2026
|
|
GitHub CI execution times for OCaml projects
|
|
19
|
667
|
September 19, 2026
|
|
Dk builds with relocatable OCaml
|
|
0
|
152
|
September 18, 2026
|
|
[ANN] rtree 0.3.0
|
|
0
|
184
|
September 18, 2026
|
|
Blog post on static linking
|
|
0
|
246
|
September 16, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
1
|
285
|
September 16, 2026
|
|
Outreachy December 2026
|
|
0
|
142
|
September 15, 2026
|
|
Notifications for security issues - what would you like to see?
|
|
4
|
307
|
September 15, 2026
|