1. OCaml Data Race Freedom Proposal  github.com
   2023-04-17 23:28:31   #ml #plt #code #new
2. ocaml-multicore/eio: Effects-based direct-style IO for multicore OCaml  github.com
   2022-12-30 13:38:28   #ml #code #new
3. Release OCaml 5.0.0  github.com
   2022-12-16 18:37:44   #release #ml #code #new
4. owi: Cross-language Bugfinder  github.com
   2025-03-11 20:59:46   #ml #formalmethods #code #new
5. GOSPEL: A tool-agnostic formal specification language for OCaml  github.com
   2022-09-04 10:34:41   #ml #formalmethods #code #new
6. Ceptre, a tiny logic programming language for prototyping rulesets that you can run, interact with  github.com
   2022-08-01 02:23:34   #ml #plt #code #new
7. Parallel ML benchmark suite  github.com
   2022-07-27 14:16:35   #ml #performance #code #new
8. The Programming Languages Zoo  plzoo.andrej.com
   2022-07-10 19:27:42   #ml #plt #new
9. MaPLe compiler for Parallel ML v0.3 Release Notes  github.com
   2022-06-26 21:05:46   #release #ml #code #new
10. gocaml: Practical statically typed functional programming language implementation with Go and LLVM  github.com
    2022-03-27 01:48:47   #go #ml #compilers #code #new

< 2 / 2 >