Blog

• Posts in English

• Articles en français

OCaml software

I’m (co)author of several OCaml libraries and programs, listed below.

• libraries
  • graph library: OCamlGraph
  • bit vectors: bitv
  • flexible arrays: flex-array
  • priority queues: bheap
  • Patricia trees: ptset and ptmap
  • combinatorics: Combine (with Remy El Sibaïe) includes Knuth’s dancing links
  • distributed computing, a la map-reduce: Functory (with Kalyan Krishnamani)
  • hash-consing: hashcons
  • binary decision diagrams: bdd
  • hash sets: hashset
  • exact real arithmetic: creal
• programs
  • bibtex2html (with Claude Marché)
  • mlpost (with Romain Bardou, François Bobot, Johannes Kanig, Stéphane Lescuyer)
  • ocamlwc
• my OCaml bazaar, which contains random unorganized/unpackaged stuff