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

Showing 1 - 4
  1. bdd
    Documentation
    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
    25 Aug 2014
  2. cgi
    Documentation
    Library for writing CGIs
    Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
    0.10
    Used by 1 other packages
    22 Feb 2020
  3. dum
    Documentation
    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 1 other packages
    07 Jun 2022
  4. hashcons
    Documentation
    OCaml hash-consing library
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
    1.4.0
    LGPL-2.1-only
    Used by 7 other packages
    01 Feb 2024