Using OxCaml to implement type-safe reference counting between OCaml and Python
6/15/2026
Introduces OxCaml for type-safe reference counting between OCaml and Python, detailing the implementation and benefits for interoperability and memory safety.
Blogs›Jane Street›OCaml Build System
OCaml Build System
4
posts
2023–2026
This post extends the OCaml build system discussion by exploring type-safe reference counting between OCaml and Python using OxCaml, aiming to improve interoperability and memory safety.
2026
2025
How we accidentally built a better build system for OCaml
1/24/2025
Introduces a novel, accidentally developed build system for OCaml, detailing its technical design and how it improves upon existing solutions.
2023
Oxidizing OCaml: Data Race Freedom
9/1/2023
This post details how the OCaml build system was extended to achieve data race freedom, leveraging OCaml's type system and concurrency primitives to ensure thread safety in a complex build environment.
Oxidizing OCaml: Rust-Style Ownership
6/21/2023
Introduces the application of Rust-style ownership principles to OCaml code to prevent data races and improve memory safety, building upon the existing OCaml build system.