Stories tagged as ml MetaLanguage, OCaml programming

Most often also tagged with plt compilers dotnet haskell release compsci web javascript

  1. 12
    Introducing Incremental (2015) logiclangs ml blog.janestreet.com
    via veqq
    caches
    4 comments
  2. 8
    Data race freedom in OxCaml ml kcsrk.info
    via avsm
    caches
    no comments
  3. 23
    why use F# for scripting and automation? dotnet ml iev.ee
    via kryptiskt
    caches
    6 comments
  4. 5
    O(x)Caml in Space ml gazagnaire.org
    via sanxiyn
    caches
    no comments
  5. 3
    Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB ml kcsrk.info
    via sanxiyn
    caches
    no comments
  6. 24
    A Path Not Taken for OxCaml ml plt joel.place
    via henrytill
    caches
    4 comments
  7. 6
    Reimplementing the Space Protocol Stack from Scratch ml networking gazagnaire.org
    via rrampage
    caches
    no comments
  8. 5
    A Proposal for Voluntary AI Disclosure in OCaml Code ml vibecoding anil.recoil.org
    via cjr
    caches
    no comments
  9. 18
    A CSS Engine in OCaml ml web gazagnaire.org
    via op
    caches
    1 comment
  10. 29
    OxCaml Labs ai ml nix anil.recoil.org
    via yminsky
    caches
    no comments
  11. 13
    Your First Parser ml plt davesnx.github.io
    via ysun
    caches
    1 comment
  12. 4
    Lessons from Pyre that Shaped Pyrefly ml plt python rust pyrefly.org
    via itamarst
    caches
    no comments
  13. 39
    RE#: how we built the world's fastest regex engine in F# ml performance iev.ee
    via wareya
    caches
    9 comments
  14. 22
    Alice the Caml ml gridbugs.org
    via BananaPants87
    caches
    2 comments
  15. 61
    My (very) fast zero-allocation webserver using OxCaml ml performance vibecoding anil.recoil.org
    via asb
    caches
    8 comments
  16. 5
    Crane is a new extraction system from Rocq to C++ c++ ml plt github.com/bloomberg
    via ysun
    caches
    no comments
  17. 17
    What would make OCaml serverless ready? distributed ml chrisarmstrong.dev
    via avsm
    caches
    13 comments
  18. 16
    Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations ml plt blog.janestreet.com
    via asb
    caches
    1 comment
  19. 53
    Zero heap allocation HTTP server using OxCaml ml github.com/avsm
    via eatonphil
    caches
    13 comments
  20. 16
    minikv: A little KV store implementation in OCaml to practice DB systems things databases ml github.com/alpha-convert
    via eatonphil
    caches
    no comments
  21. 12
    Commandry - A Command-Line Parser for Standard ML ml github.com/perplexsystems
    authored by ratsclub
    caches
    7 comments
  22. 5
    Mostly Automated Proof Repair for Verified Libraries pdf formalmethods ml kirancodes.me
    via pushcx
    caches
    no comments
  23. 6
    Porting a complete HTML5 parser and browser test suite [from Python to OCaml using LLMs] ml vibecoding anil.recoil.org
    via teymour
    caches
    2 comments
  24. 31
    YOCaml a framework used to describe static site generator ml web yocaml.github.io
    authored by xvw
    caches
    9 comments
  25. 12
    If it ain’t broke, … ml practices windows dra27.uk
    via tjammer
    caches
    2 comments

Tip: read stories across multiple tags with /t/tag1,tag2