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

Performant type-checking for python.

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

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

🔎 Static code analysis engine to find security issues in code.

Binary Analysis Platform

Programming Languages Zoo

Standard library for OCaml

Hardcaml is an OCaml library for designing hardware.

A verification toolchain for Rust programs

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

Draw railroad diagrams of EBNF grammars. In browser and on command line