1. Roguetype: The first ever roguelike written in the OCaml type system  github.com
    2025-04-01 23:37:17   #ml #plt #code #new
  2. The Brat virtual machine  gitlab.com
    2025-03-15 15:33:16   #show #ml #compilers #code #new
  3. Porting PFP from Haskell to OCaml  github.com
    2025-01-18 18:40:00   #haskell #ml #code #new
  4. Podcast: Type Theory Forall  www.typetheoryforall.com
    2025-01-18 15:47:02   #ml #plt #new
  5. cil: C Intermediate Language  github.com
    2024-11-01 09:38:31   #c #ml #compilers #code #new
  6. A Webring written in OCaml for FP enthusiasts  ring.muhokama.fun
    2024-08-12 05:37:59   #web #ml #new
  7. CakeML  cakeml.org
    2024-04-23 23:51:54   #ml #compilers #formalmethods #new
  8. repoint: A manager for checkouts of third-party source code dependencies  github.com
    2024-01-26 04:49:05   #programming #ml #code #new
  9. Real World OCaml  dev.realworldocaml.org
    2023-12-18 05:50:59   #book #ml #new
  10. AI-Exploits: Repo of multiple unauthenticated RCEs in AI tools  github.com
    2023-11-17 17:03:08   #security #ml #ai #code #new
  11. My Thoughts on OCaml vs Haskell/Rust in 2023  github.com
    2023-08-25 11:58:49   #haskell #ml #code #new
  12. 20x faster pgvector alternative written in Rust  github.com
    2023-08-08 07:04:55   #databases #rust #ml #ai #code #new
  13. Moonpool: commodity thread pools for OCaml 5  github.com
    2023-07-19 04:08:40   #ml #performance #code #new
  14. SOSML: The Online Interpreter for Standard ML  sosml.org
    2023-07-17 22:06:09   #ml #new
  15. Irmin - A distributed database built on the same principles as Git  irmin.org
    2023-07-10 02:49:14   #vcs #distributed #ml #new
  16. OCaml Data Race Freedom Proposal  github.com
    2023-04-17 23:28:31   #ml #plt #code #new
  17. ocaml-multicore/eio: Effects-based direct-style IO for multicore OCaml  github.com
    2022-12-30 13:38:28   #ml #code #new
  18. Release OCaml 5.0.0  github.com
    2022-12-16 18:37:44   #release #ml #code #new
  19. owi: Cross-language Bugfinder  github.com
    2025-03-11 20:59:46   #ml #formalmethods #code #new
  20. GOSPEL: A tool-agnostic formal specification language for OCaml  github.com
    2022-09-04 10:34:41   #ml #formalmethods #code #new
  21. 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
  22. Parallel ML benchmark suite  github.com
    2022-07-27 14:16:35   #ml #performance #code #new
  23. The Programming Languages Zoo  plzoo.andrej.com
    2022-07-10 19:27:42   #ml #plt #new
  24. MaPLe compiler for Parallel ML v0.3 Release Notes  github.com
    2022-06-26 21:05:46   #release #ml #code #new
  25. 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

< 1 / 1 >