4 search results for "author:"Jean-Christophe Filliatre""

  1. 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
    Last published 25 Aug 2014
  2. cgi
    Library for writing CGIs
    Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
    0.10
    Used by 1 other packages
    Last published 22 Feb 2020
  3. 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
    Last published 07 Jun 2022
  4. hashcons
    OCaml hash-consing library
    Jean-Christophe Filliatre
    1.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Last published 25 Sep 2017