Jean-Christophe Filliatre

ocamlgraph. OCaml graph library

bibtex2html. OCaml

ocaml-hashcons. OCaml hash-consing library

combine. OCaml library for combinatorics

bitv. OCaml bit vector library

functory. a distributed computing library for OCaml

ptmap. Implementation of maps of integers with Patricia trees

bheap. OCaml binary heap implementation by Jean-Christophe Filliatre

program-proofs-with-why3. Some programs from Rustan Leino's "Program Proofs", in Why3.

vector. OCaml

ocaml-bazaar. OCaml

ocaml-bdd. A simple BDD library for OCaml

creal. An exact real arithmetic (aka constructive reals) for OCaml

mlpost. OCaml

bag. Bag library for OCaml

hashset. OCaml implementation of sets as hash tables by Jean-Christophe Filliatre

flex-array. OCaml implementation of flexible arrays

grid. OCaml

ptset. Integer set implementation using Patricia trees

learn-programming-with-ocaml.

astro. calculs astronomiques (in French)

cfrac. OCaml

hashlife. OCaml

yamlpp. yet another markup language preprocessor

aoc. OCaml

backtracking.github.io. Ruby

mset. An OCaml library for small multisets

ocamlwc. OCaml

opam-repository. Package descriptions for OPAM

latexpp. OCaml

ocamlweb. OCaml