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

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

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

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

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 environmen…

Irmin is a distributed database that follows the same design principles as Git

A composable build system for OCaml.

A toolkit for embedding VPN capabilities in your application

Connect processes into powerful data pipelines with a simple git-like filesystem interface

🔎🐞 A language-agnostic linting platform

The Xapi Project's XenAPI Server

Another Emacs Org-mode and Markdown parser.

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.

Websocket library for OCaml

An embeddable Lua 2.5 interpreter implemented in OCaml

A virtual DOM library written in OCaml/BuckleScript with a focus on ease-of-use, immutability and performance.

A client for the etcd v2 api.