|
Welcome to OCaml Discourse
|
|
0
|
13339
|
May 12, 2017
|
|
Type-theory Database for OCaml
|
|
0
|
66
|
September 25, 2026
|
|
Agentic Safety by Temporal Logic in OCaml
|
|
0
|
58
|
September 25, 2026
|
|
Unhandled: a static checker for unhandled effects in OCaml 5, and a negative result
|
|
6
|
648
|
September 25, 2026
|
|
[ANN] ppx_deriving_{yaml,ezjsonm,yamlx} 0.5.0
|
|
0
|
47
|
September 25, 2026
|
|
A line-by-line translation of the OCaml runtime from C to Rust
|
|
23
|
4880
|
September 24, 2026
|
|
[ANN] opam-monorepo 0.5.0
|
|
5
|
352
|
September 24, 2026
|
|
[ANN] opam 2.6.0 is out!
|
|
2
|
355
|
September 24, 2026
|
|
[ANN] Unicode 18.0.0 update for Uucd, Uucp, Uunf and Uuseg
|
|
1
|
209
|
September 23, 2026
|
|
Cascade: A Typed CSS Toolkit in OCaml
|
|
4
|
719
|
September 23, 2026
|
|
[ANN] tw 1.1.0, Tailwind CSS in OCaml
|
|
0
|
117
|
September 23, 2026
|
|
[ANN] ozstd 0.1
|
|
9
|
491
|
September 22, 2026
|
|
[ANN] moonpool 0.12
|
|
0
|
142
|
September 22, 2026
|
|
Inlay Hints in neovim
|
|
14
|
1650
|
September 22, 2026
|
|
Shellcheck for Cram tests
|
|
1
|
119
|
September 22, 2026
|
|
[ANN] 2nd release elm_playground (a game engine for beginners)
|
|
0
|
77
|
September 22, 2026
|
|
[ANN] boulodrome : LLM as proof assistant
|
|
3
|
331
|
September 22, 2026
|
|
[ANN] melange-json is now jsonkit
|
|
0
|
121
|
September 21, 2026
|
|
Running OCaml files straight from VS Code
|
|
0
|
128
|
September 21, 2026
|
|
Outreachy May 2026
|
|
17
|
1011
|
September 20, 2026
|
|
GitHub CI execution times for OCaml projects
|
|
19
|
658
|
September 19, 2026
|
|
Dk builds with relocatable OCaml
|
|
0
|
146
|
September 18, 2026
|
|
[ANN] rtree 0.3.0
|
|
0
|
180
|
September 18, 2026
|
|
Blog post on static linking
|
|
0
|
242
|
September 16, 2026
|
|
[ANN] ortac-0.8 specification-driven testing with Domains
|
|
1
|
285
|
September 16, 2026
|
|
Outreachy December 2026
|
|
0
|
140
|
September 15, 2026
|
|
Notifications for security issues - what would you like to see?
|
|
4
|
301
|
September 15, 2026
|
|
[ANN] Owebview 0.1 — native desktop windows with a web UI, from OCaml
|
|
11
|
656
|
September 15, 2026
|
|
[ANN] dead_code_analyzer 1.2.1 and 1.3.0
|
|
0
|
194
|
September 14, 2026
|
|
What's the status of typed effects?
|
|
22
|
1773
|
September 12, 2026
|