A static analyzer for Java, C, C++, and Objective-C

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Performant type-checking for python.

The core OCaml system: compilers, runtime system, base libraries

A code rewrite tool for structural search and replace that supports ~every language.

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

The Opa Language for Web Application Development

Jane Street Capital's standard library overlay

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

KaRaMeL is a tool for extracting low-level F* programs to readable C code

QuickCheck inspired property-based testing for OCaml.

All the examples in Real World OCaml

Infrastructure for Reassembleable Disassembling and Transformation

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

Flexible and Constant Time Programming Language

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)

flux parser/type checker in OCaml / Menhir