OxCaml Performance Development

About

This skill empowers Claude to master the OxCaml compiler, a performance-centric fork of OCaml featuring Jane Street's advanced extensions. It provides precise implementation patterns for high-performance systems, focusing on manual memory management through stack allocation, reduction of GC overhead via unboxed types, and data-race-free parallelism through modal types. Whether you are building low-latency trading engines or data-intensive numeric libraries, this skill ensures your code leverages modern CPU features like SIMD and zero-allocation annotations for maximum efficiency.

Key Features

• Expert implementation of stack allocation (local_, stack_, exclave_)
• Zero-allocation code path verification and [@zero_alloc] annotations
• Optimization via unboxed numeric types and mixed-block records
• 13 GitHub stars
• Advanced modal type system management (local, unique, once, portable)
• SIMD vector integration for 128-bit and 256-bit parallel operations

Use Cases

• Optimizing numeric compute kernels with SIMD and unboxed float arrays
• Developing low-latency financial trading systems requiring minimal GC pauses
• Implementing memory-safe, data-race-free parallel algorithms using modal types