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

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

magic-trace collects and displays high-resolution traces of what a process is doing

MirageOS is a library operating system that constructs unikernels

Binary Analysis Platform

A composable build system for OCaml.

Tidy, feature-complete Web framework

A mixture of tooling combined to produce JavaScript from OCaml & Reason

OCaml - Oxidized!

A Rust verification tool

Interoperable effects based concurrency