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

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

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

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

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

Links: Linking Theory to Practice for the Web

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