Visual Studio Code extension for OCaml

Common interface for tracing/instrumentation libraries in OCaml

The Windows-friendly distribution of OCaml

Cross-compiler friendly characterizations of the OCaml's native C compiler

High-quality JavaScript bindings for OCaml

Easy OCaml bindings for Javascript libraries

What if you never had to write CSS again?

Text-based lawn mowing.

DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions

A webgl 3d plotting library

Coq plugin for parametricity [maintainer=@proux01]

LexiFi runtime types

Visual Studio Code

High-level bindings between .Net and OCaml

A composable build system for OCaml.

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

A Simple Profiling Library for OCaml

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

A podcast manager for Android

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…