OCaml

Implementation of "guarded methods" using type equality witnesses

Soteria is a powerful bug detection tool that reliably and consistently finds bugs in your Rust and C codebase at unmatched speed using symbolic execution.

Wasm_of_ocaml on WASI: A Working Prototype Looking for a Production User

Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as

Semgrep open-sources Pyro Caml 1.0.0, the first continuous profiler for OCaml. Learn how it uses Memprof, OCaml Runtime Events, and Pyroscope to profile production workloads running under gVisor with under 5% overhead.

For a while now, I've been interested in exploring the capabilities of small language models. When my colleague Atharva introduced me to RLVR and G...