GitHub Trending OCaml

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

OCaml16,2791,024Built by

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 environment for semi-interactive development of machine-checked proofs.

OCaml5,550751Built by

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

OCaml15,6752,097Built by

Unison file synchronizer

OCaml5,445271Built by

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

OCaml2,965247Built by

OCaml code generator and runtime library for handling typed tree-sitter CSTs

OCaml5811Built by

A verification toolchain for Rust programs

OCaml91799Built by