Hackernews posts about OxCaml

  1. Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
    159 points by matt_d 28 days ago | 48 comments
  2. Property-Based Testing of OCaml 5's Runtime System [pdf] (janmidtgaard.dk)
    43 points by todsacerdoti 6 days ago | 1 comments
  3. X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)
    35 points by todsacerdoti 27 days ago | discuss
  4. OCaml，an industrial-strength functional programming language (ocaml.org)
    17 points by jinqueeny 16 days ago | 6 comments
  5. Bonsai – A library for building dynamic webapps, using JS_of_OCaml (github.com)
    6 points by TheWiggles about 5 hours ago | discuss
  6. OCaml for Kafka stream processing, analytics and telemetry data (github.com)
    4 points by tingfirst 24 days ago | 3 comments
  7. Why Lean 4 replaced OCaml as my primary language (kirancodes.me)
    4 points by fanf2 28 days ago | discuss
  8. Faux Type Theory: three minimalist OCaml simple proof checker implementations (github.com)
    3 points by matt_d 20 days ago | 1 comments
  9. Vulkan Graphics in OCaml vs. C (roscidus.com)
    2 points by ibobev 11 days ago | discuss
  10. Vulkan Graphics in OCaml vs. C (roscidus.com)
    2 points by Bogdanp 13 days ago | discuss
  11. Composable Error Handling in OCaml (2018) (keleshev.com)
    2 points by greener_grass 14 days ago | discuss
  12. Show HN: Bootstrapped Terraform Orchestration in OCaml
    2 points by sausagefeet 24 days ago | discuss
  13. An OCaml driver for Timeplus Proton timeseries streaming database (github.com)
    1 points by cloudsql 9 days ago | 1 comments
  14. Show HN: dk, a Windows-friendly, Nix-like build system (github.com)
    1 points by beckford 14 days ago | discuss
  15. OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)
    313 points by lairv 4 months ago | 118 comments
  16. OxCaml (blog.janestreet.com)
    14 points by avsm 4 months ago | discuss
  17. Oxcaml (blog.janestreet.com)
    4 points by bvaldivielso 4 months ago | 1 comments
  18. OxCaml is Jane Street's branch of OCaml (bsky.app)
    1 points by riffraff 4 months ago | discuss
  19. Linearity and Uniqueness (kcsrk.info)
    5 points by matt_d 4 months ago | discuss
  20. OCaml as my primary language (xvw.lol)
    384 points by nukifw about 2 months ago | 285 comments
  21. A better build system for OCaml (blog.janestreet.com)
    355 points by gaws 8 months ago | 210 comments
  22. 8 months of OCaml after 8 years of Haskell in production (2023) (chshersh.com)
    264 points by droideqa 10 months ago | 277 comments
  23. Writing a Game Boy Emulator in OCaml (2022) (linoscope.github.io)
    257 points by ibobev 3 months ago | 76 comments
  24. How the OCaml type checker works (2022) (okmij.org)
    219 points by mooreds about 1 year ago | 42 comments
  25. Learn OCaml (ocaml-sf.org)
    203 points by smartmic 3 months ago | 80 comments
  26. OCaml: a Rust developer's first impressions (pthorpe92.github.io)
    173 points by qsantos almost 2 years ago | 152 comments
  27. Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org)
    141 points by tinyspacewizard about 1 year ago | 10 comments
  28. OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)
    138 points by smartmic 2 months ago | 54 comments
  29. OCaml Syntax Sucks (2016) (xahlee.info)
    121 points by Qem 11 months ago | 136 comments
  30. Compiling OCaml to the TI-84 CE Calculator (farlow.dev)
    110 points by farlow 5 months ago | 5 comments
  31. OCaml's Wings for Machine Learning (github.com)
    108 points by musha68k 5 months ago | 69 comments
  32. Improvements to OCaml code editing: the basics of a refactor engine (tarides.com)
    99 points by nukifw about 1 month ago | 18 comments
  33. Frustrations with the OCaml ecosystem while developing a synthesizer library (www.gridbugs.org)
    66 points by stevebox about 1 year ago | 27 comments
  34. OCaml as the Universal Translator – DkSDK Merry Christmas 2023 (gitlab.com)
    66 points by beckford almost 2 years ago | 7 comments
  35. Show HN: dk – A script runner and cross-compiler, written in OCaml (diskuv.com)
    61 points by beckford 4 months ago | 9 comments
  36. Comparing OCaml and Standard ML (2008) (adam.chlipala.net)
    60 points by nequo over 1 year ago | 26 comments
  37. A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
    40 points by matt_d 7 months ago | 4 comments
  38. Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml (tarides.com)
    33 points by asplake over 1 year ago | discuss
  39. Writing Micro Compiler in OCaml (2014) (troydm.github.io)
    28 points by notagoodidea about 2 months ago | discuss
  40. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
    27 points by gopiandcode about 2 months ago | 5 comments
  41. OCaml Web Development: Essential Tools and Libraries in 2025 (tarides.com)
    27 points by birdculture 5 months ago | 4 comments
  42. Dream-HTML – render HTML, SVG, MathML, Htmx markup from OCaml (github.com)
    22 points by todsacerdoti over 1 year ago | 6 comments
  43. Basic dependency injection in OCaml with objects (gr-im.github.io)
    22 points by nukifw about 2 months ago | 3 comments
  44. OCaml 5.2.0 (ocaml.org)
    22 points by hackandthink over 1 year ago | 1 comments