Adds static typing to JavaScript to improve developer productivity and code quality.

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

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

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

Performant type-checking for python.

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

Tools for code analysis, visualizations, or style-preserving source transformation.

Binary Analysis Platform

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

An interpreter for finding subtle bugs in programs written in standard C

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

A PDF parser and validator

(Archived) Automatically build and dynlink ocaml source files

Bytecode compiler of a variant of Caml