gasche

random-generator

A small OCaml library to randomly generate values

bisect

a mirror of http://bisect.x9c.fr/ converted using purcell/darcs-to-git

batteries-included

Batteries Included project

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

bitoduc.fr

A website about french words for computer concepts.

camlboot

Experiment on how to bootstrap the OCaml compiler

compiler-benchmark

Benchmarks compilation speeds of different combinations of languages and compilers.

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.

domainslib

Parallel Programming over Domains

dune

A composable build system for OCaml.

dune-deps

Show the internal dependencies in your OCaml/Reason/Dune project

inria-internship-francesco

jj

A Git-compatible DVCS that is both simple and powerful

marracheck

Gotta check them all!

mc2

[research] A modular SMT solver in OCaml, based on mcSAT

mini-bind-mounts

mSAT

A modular sat/smt solver with proof output.

no_color

Website data for no-color.org

ocaml

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

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

ocaml_sincos

test wrapping the sincos C function

parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.

PG

POPPL

OCaml implementation of POPPL

ppx_deriving

Type-driven code generation for OCaml >=4.02

RFCs

Design discussions about the OCaml language

stores

An OCaml library that offers several implementations of (in-memory) stores.

texpresso

TeXpresso: live rendering and error reporting for LaTeX

xml-light

fork of Xml-light

yojson

Low-level JSON parsing and pretty-printing library for OCaml