OCaml logo
4 Search Results
bdd
Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
Jean-Christophe Filliatre
0.3
GPL-1.0-or-later
Used by 2 other packages
cgi
Library for writing CGIs
Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
0.10
Used by 1 other packages
dum
Inspect the runtime representation of arbitrary OCaml values
Martin Jambon Jean-Christophe Filliatre Richard W.M. Jones
1.0.3
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 0 other packages
hashcons
OCaml hash-consing library
Jean-Christophe Filliatre
1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 4 other packages