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

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

Performant type-checking for python.

FUSE filesystem over Google Drive

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

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A composable build system for OCaml.

Context sensitive completion for OCaml in Vim and Emacs

Programming Languages Zoo

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

HTML 5 canvas implementation of Mario written in Ocaml

All the examples in Real World OCaml

OCaml graph library

Sorry about the name

Interfacing Qt/QML with OCaml. Formely known as lablqt

Automated S-expression conversion

The Stan transpiler (from Stan to C++ and beyond).

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

2d game engine for OCaml

Collection of clustering algorithms written in Ocaml

Client for the MOSS plagiarism detection service