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.

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

Irmin is a distributed database that follows the same design principles as Git

Implementations of various type systems in OCaml.

🏞 an OCaml compiler for an untyped lisp

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

An OCaml bytecode to LLVM compiler