|
[ANN] opam 2.3.0~beta2
|
|
0
|
124
|
October 24, 2024
|
|
[ANN] HOL Light released to OPAM
|
|
0
|
194
|
October 22, 2024
|
|
OCamlformat and GitHub actions
|
|
8
|
377
|
October 21, 2024
|
|
[ANN] Simplified Android cross-compiler with DkML
|
|
2
|
249
|
October 20, 2024
|
|
[ANN] Compsort - reorder files in archives for improved compression
|
|
8
|
468
|
October 17, 2024
|
|
[ANN] opam 2.3.0~beta1
|
|
0
|
161
|
October 15, 2024
|
|
[ANN] x509 0.7 released
|
|
0
|
980
|
August 15, 2019
|
|
[ANN] Openbsd 1.0
|
|
0
|
189
|
October 12, 2024
|
|
[ANN] Ortac/QCheck-STM 0.4.0 Dynamic formal verification beyond one system under test
|
|
0
|
124
|
October 11, 2024
|
|
[ANN]ocaml-activitypub
|
|
0
|
143
|
October 9, 2024
|
|
[ANN] printbox.0.3
|
|
2
|
1098
|
October 9, 2024
|
|
[ANN] [POC] grep_cmt: structural search of OCaml code
|
|
3
|
232
|
October 9, 2024
|
|
[ANN] OCaml-stk 0.2.0 and Chamo 4.1.0
|
|
14
|
511
|
October 9, 2024
|
|
[ANN] Mutaml 0.1
|
|
1
|
677
|
October 8, 2024
|
|
[ANN] Camlkit -- macOS/iOS/GNUstep toolkit for OCaml
|
|
23
|
975
|
October 8, 2024
|
|
[ANN] Mica, a PPX that automates differential testing for OCaml modules
|
|
0
|
153
|
October 6, 2024
|
|
[ANN] ppx_deriving_router — type safe routing for Dream and Melange
|
|
0
|
141
|
October 5, 2024
|
|
[ANN] YOCaml, a framework for static site generator
|
|
2
|
392
|
October 5, 2024
|
|
[ANN] oepub 0.1.0 : A library to parse epub files
|
|
0
|
91
|
October 4, 2024
|
|
[ANN] Ascend - Dungeon RPG for your terminal
|
|
9
|
500
|
October 4, 2024
|
|
[ANN] cudajit: Bindings to the `cuda` and `nvrtc` libraries
|
|
1
|
168
|
October 4, 2024
|
|
[ANN] obatcher: Framework for building efficient concurrent services
|
|
0
|
188
|
October 4, 2024
|
|
Releases of fpath-sexplib0, fpath-base, loc, file-rewriter, sexps-rewriter and provider
|
|
0
|
90
|
October 1, 2024
|
|
[ANN] ICFP 2023 OCaml Presentations on YouTube
|
|
1
|
676
|
September 30, 2024
|
|
[ANN] New release of Merlin
|
|
3
|
260
|
September 30, 2024
|
|
Releases of mirage-crypto 1.0.0, tls 1.0.0, x509 1.0.0, asn1-combinators 0.3.0, let's encrypt 1.0.0, awa 0.4.0, kdf 1.0.0, paf 0.7.0, git 3.17.0
|
|
0
|
86
|
September 30, 2024
|
|
[ANN] Bogue, the OCaml GUI
|
|
61
|
8115
|
September 29, 2024
|
|
[ANN] first release of ppx_deriving_jsonschema
|
|
1
|
221
|
September 26, 2024
|
|
[ANN] Uuidm 0.9.9
|
|
2
|
152
|
September 26, 2024
|
|
[ANN] opam 2.3.0~alpha1
|
|
0
|
178
|
September 23, 2024
|