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

Showing 1 - 3
  1. cgi
    Documentation
    Library for writing CGIs
    Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
    0.10
    LGPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  2. 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 0 other packages
    Added to opam-repository
  3. hashcons
    Documentation
    OCaml hash-consing library
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
    1.4.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository