1. Alice - new build system for Ocaml  www.alicecaml.org
    2025-11-24 10:04:16   #ml #new
  2. An actor-model multi-core scheduler for OCaml 5  github.com
    2025-11-18 23:07:23   #erlang #ml #code #new
  3. gleescript: Bundle your Gleam-on-Erlang project into an escript, a single executable file  github.com
    2025-10-27 20:37:02   #erlang #ml #code #new
  4. Riot - An actor-model multi-core scheduler  riot.ml
    2025-05-28 10:22:47   #ml #new
  5. HACKSAT25: The first multi-tenant satellite unikernel security challenge  hacksat.dev
    2025-05-10 12:45:37   #security #ml #new
  6. Roguetype: The first ever roguelike written in the OCaml type system  github.com
    2025-04-01 23:37:17   #ml #plt #code #new
  7. The Brat virtual machine  gitlab.com
    2025-03-15 15:33:16   #show #ml #compilers #code #new
  8. Porting PFP from Haskell to OCaml  github.com
    2025-01-18 18:40:00   #haskell #ml #code #new
  9. Podcast: Type Theory Forall  www.typetheoryforall.com
    2025-01-18 15:47:02   #ml #plt #new
  10. cil: C Intermediate Language  github.com
    2024-11-01 09:38:31   #c #ml #compilers #code #new
  11. A Webring written in OCaml for FP enthusiasts  ring.muhokama.fun
    2024-08-12 05:37:59   #web #ml #new
  12. CakeML  cakeml.org
    2024-04-23 23:51:54   #ml #compilers #formalmethods #new
  13. repoint: A manager for checkouts of third-party source code dependencies  github.com
    2024-01-26 04:49:05   #programming #ml #code #new
  14. Real World OCaml  dev.realworldocaml.org
    2023-12-18 05:50:59   #book #ml #new
  15. AI-Exploits: Repo of multiple unauthenticated RCEs in AI tools  github.com
    2023-11-17 17:03:08   #security #ml #ai #code #new
  16. My Thoughts on OCaml vs Haskell/Rust in 2023  github.com
    2023-08-25 11:58:49   #haskell #ml #code #new
  17. 20x faster pgvector alternative written in Rust  github.com
    2023-08-08 07:04:55   #databases #rust #ml #ai #code #new
  18. Moonpool: commodity thread pools for OCaml 5  github.com
    2023-07-19 04:08:40   #ml #performance #code #new
  19. SOSML: The Online Interpreter for Standard ML  sosml.org
    2023-07-17 22:06:09   #ml #new
  20. Irmin - A distributed database built on the same principles as Git  irmin.org
    2023-07-10 02:49:14   #vcs #distributed #ml #new
  21. OCaml Data Race Freedom Proposal  github.com
    2023-04-17 23:28:31   #ml #plt #code #new
  22. ocaml-multicore/eio: Effects-based direct-style IO for multicore OCaml  github.com
    2022-12-30 13:38:28   #ml #code #new
  23. Release OCaml 5.0.0  github.com
    2022-12-16 18:37:44   #release #ml #code #new
  24. owi: Cross-language Bugfinder  github.com
    2025-03-11 20:59:46   #ml #formalmethods #code #new
  25. GOSPEL: A tool-agnostic formal specification language for OCaml  github.com
    2022-09-04 10:34:41   #ml #formalmethods #code #new

< 1 / 2 >