chambart

ocaml

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

coq

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 development of machine-checked proofs.

merlin

Context sensitive completion for OCaml in Vim and Emacs

tezos

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

js_of_ocaml

Compiler from OCaml to Javascript.

lwt

OCaml promises and concurrent I/O

eliom

Multi-tier framework for programming web and mobile applications in OCaml.

ocamlgraph

OCaml graph library

iocaml

An OCaml kernel for the IPython notebook

tyxml

Build valid HTML and SVG documents

SPOC

Stream Processing with OCaml

oasis

Cabal like system for OCaml

owi

WebAssembly Swissknife & cross-language bugfinder

ocamlbuild

The legacy OCamlbuild build manager

camlp4

Camlp4 tool

ocsigenserver

Web server in OCaml.

ocaml-wayland

Pure OCaml Wayland protocol implementation

wasocaml

opam-publish

A tool to ease contributions to opam repositories

memthol

Memthol is a visualizer for memory profiling data generated from OCaml programs.

ocaml-nullable-array

Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`

statmemprof-emacs

Emacs client for statistical memory profiler

cairn

A derivation explorer and logger for menhir parser

ocplib-endian

Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.

flambda-task-force

ocplib-simplex

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

ocaml-urg

Interface to Hokuyo's URG laser rangefinder

ocsimore

A wiki in Eliom.

curry-flavor

Curryfied nested maps and sets compatible with OCaml's standard library maps and sets

wasocaml