Blog
The OCaml Planet RSS
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Source
Keyword
Year
Author
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
A guided tour through Oxidized OCaml (Video, Tutorials @ ICFP/SPLASH 2025) Gavin Gray, Anil Madhavapeddy, KC Sivaramakrishnan, Will Crichton, Shriram Krishnamurthi, Chris Casinghino, and Richard A. Eisenberg (Brown University; University of Camb...
Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract) (Video, TyDe 2025) Patrick Ferris, and Anil Madhavapeddy (University of Cambridge, UK; University of Cambridge, UK) Abstract: When developing a new progra...
A Vision for OCaml in the AI Era Thibaut Mattio ABSTRACT AI is reshaping software development, yet OCaml's adoption in AI workflows remains limited. This talk explores how the OCaml community can proactively embrace AI to make OCaml a pro...
OCaml at LexiFi Nicolás Ojeda Bär ABSTRACT LexiFi is likely to have been the first real industrial user of OCaml, back when it was funded in 2000. In this talk, I will present some of the things we have learned along the way. Some of the ...
I Can See The Pixels: Designing Cross-Stitch Patterns in OCaml Mindy Preston (yomimono) ABSTRACT I was unsatisfied with existing cross-stitch pattern generating software, which was mostly structured like pixel-based paint programs. Those ...
Frameworks: No, Libraries: Yes. Developing a product in OCaml from Scratch Malcolm Matalka (Terrateam) ABSTRACT Terrateam is an open source infrastructure management product written in OCaml. In order to stay lean and flexible, Terrateam ...
Purely functional gRPC and HTTP/2 with OCaml Adam Cholewiński (Dialo) Session page: https://fun-ocaml.com/2025/production-grade-network-protocols/ Connect with FUN OCaml: Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profi...
Analyzing Programs with SMT Solvers Tikhon Jelvis (Semgrep) ABSTRACT We can use SMT solvers like Z3 to analyze programs and answer difficult questions about our code. By generating and solving complex constraints, we can improve error mes...
Slipshow: A Full-Featured Presentation Tool in OCaml Paul-Elliot Anglès d'Auriac ABSTRACT Slipshow is a tool to create interactive presentations. Started as a JavaScript project, it is now fully written in OCaml and features a runtime eng...
0xCaml From a System Engineer's Point of View Dmitriy Kovalenko (LightSource) ABSTRACT I do a lot of Rust, C, Zig and whatever else cursed systems programming languages are there. So recently 0xCaml popped out and I was def interested if ...
