4 search results for "author:"Jean-Christophe Filliatre""
-
bdd
Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
-
cgi
Library for writing CGIs0.10Used by 1 other packagesLast published 22 Feb 2020
-
dum
Inspect the runtime representation of arbitrary OCaml values1.0.3LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packagesLast published 07 Jun 2022
-
hashcons
OCaml hash-consing library1.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packagesLast published 25 Sep 2017