François Pottier

pprint. A pretty-printing combinator library for OCaml

baby. A balanced binary search tree library for OCaml

mpri-2.4-projet-2022-2023. A programming project on automatic differentiation in OCaml

flatunionfind. OCaml

coq-iteration. Mathematical concepts related to iteration

loop. Coq

hachis. A hash set and hash map library for OCaml

hector. A vector library for OCaml

patricia. A minimal implementation of integer maps based on Patricia trees

kot. OCaml

lrgrep-example. An example of the use of lrgrep

bitsets. Several implementations of bit sets

opam-coq-archive. Archive for all Coq related OPAM packages organized in various repositories

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

intPQueue. A fast and compact priority queue with low integer keys