25 search results for "author:"Jean-Christophe Filliâtre""

Showing 1 - 25
  1. bag
    Documentation
    Bags (aka multisets)
    Jean-Christophe Filliâtre Clément Pascutto
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. bdd
    Documentation
    Implementation of BDD
    Jean-Christophe Filliâtre
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  3. bheap
    Documentation
    Priority queues
    Jean-Christophe Filliâtre
    2.0.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository
  4. bibtex2html
    Documentation
    BibTeX to HTML translator
    Jean-Christophe Filliâtre Claude Marché
    1.99-1
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  5. bitv
    Documentation
    A bit vector library
    Jean-Christophe Filliâtre
    2.1
    LGPL-2.1-or-later
    Used by 6 other packages
    Added to opam-repository
  6. combine
    Documentation
    Combine is a library for combinatorics problem solving.
    Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr> Rémy El Sibaie <remy.el-sibaie@lip6.fr>
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  7. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    Added to opam-repository
  8. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 3 other packages
    Added to opam-repository
  9. functory
    Documentation
    Distributed computing library
    Jean-Christophe Filliâtre Kalyan Krishnamani
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  10. gospel
    Documentation
    A tool-agnostic formal specification language for OCaml
    Jean-Christophe Filliâtre Samuel Hym Cláudio Lourenço Nicolas Obsorne Clément Pascutto et al.
    0.3.1
    MIT
    Used by 3 other packages
    Added to opam-repository
  11. grid
    Documentation
    A tiny library for two-dimensional arrays
    Jean-Christophe Filliâtre
    0.2.0
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  12. hashset
    Documentation
    Sets as hash tables
    Jean-Christophe Filliâtre
    1.0.1
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  13. mlpost
    Documentation
    OCaml library on top of Metapost
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  14. mlpost-lablgtk
    Documentation
    Library for adding mlpost graphics in lablgtk
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  15. mset
    Documentation
    A library for small multisets
    Jean-Christophe Filliâtre
    0.2.0
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  16. ocamlgraph
    Documentation
    A generic graph library for OCaml
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 40 other packages
    Added to opam-repository
  17. ocamlgraph_gtk
    Documentation
    Displaying graphs using OCamlGraph and GTK
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  18. ocamlwc
    Documentation
    Count lines in OCaml source code
    Jean-Christophe Filliâtre
    0.3
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  19. ptmap
    Documentation
    Maps of integers implemented as Patricia trees
    Jean-Christophe Filliâtre
    2.0.5
    LGPL-2.1-only
    Used by 5 other packages
    Added to opam-repository
  20. ptset
    Documentation
    Sets of integers implemented as Patricia trees
    Jean-Christophe Filliâtre
    1.0.1
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  21. vector
    Documentation
    Resizable Arrays
    Jean-Christophe Filliâtre
    1.0.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  22. vocal
    Documentation
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau et al.
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  23. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 8 other packages
    Added to opam-repository
  24. why3-coq
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  25. why3-ide
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository