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

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

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

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

Performant type-checking for python.

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

A language that compiles to Bash and Windows Batch

Context sensitive completion for OCaml in Vim and Emacs

Implementations of various type systems in OCaml.

Jane Street Capital's standard library overlay

A toolkit for embedding VPN capabilities in your application

Sinatra like web toolkit for OCaml

PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.

OCaml, Meet Web.

A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.

🆒 Write OCaml, run on node.

Example showing how to turn OCaml code (here Xmlm) into a C library.