A syntactic extension that generates tests for your programs.

Constraint solver based on abstract domains

Documentation compiler for OCaml

An open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.

Parser combinators built for speed and memory efficiency

A composable build system for OCaml.

A syntax extension that allows you to parse OCaml's float and integer litterals with a custom "of_string" function.

Parsley is not sugar

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

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Nice parsers in OCaml without the boilerplate

DALI: a large Dataset of synchronised Audio, LyrIcs and vocal notes.

Constraint solver based on abstract domains

Bigstring intrinsics and fast blits based on memcpy/memmove

A simplified programming environment for Python (3.x) - based on IDLE

A Collection of Ridiculously Useful eXtensions for Emacs

TikZ Editor is a free code editor for the LaTeX graphic package TikZ.

memoization extension syntax for ocaml

A 2d geometry library for ocaml

Context sensitive completion for OCaml in Vim and Emacs

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Application Web de typage d’un mini-ML fonctionnel et impératif. (Juste un typeur lamdba...)