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

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

bag. Bag library for OCaml

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