returntocorp/pfff

pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code…

semgrep/semgrep

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

semgrep/semgrep-docs

Documentation of Semgrep: a fast, open-source, static analysis tool.

nanocaml/nanocaml

Nanopass for OCaml

returntocorp/semgrep

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

jonsterling/ocaml-forester

Mirror of ocaml-forester

mdaines/grammophone

A tool for analyzing and transforming context-free grammars.

etiamz/supercompilation-resources

📚 A collection of resources about supercompilation