Stars
A syntactic extension that generates tests for your programs.
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 syntax extension that allows you to parse OCaml's float and integer litterals with a custom "of_string" function.
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.
ghilesZ / AbSolute
Forked from mpelleau/AbSoluteConstraint 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.
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...)