126 search results for "author:"Christophe""

Showing 101 - 126
  1. sail

    No documentation

    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 0 other packages
    22 Dec 2025
  2. sail_c_backend
    Documentation
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  3. sail_coq_backend
    Documentation
    Sail to Coq translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  4. sail_doc_backend
    Documentation
    Sail documentation generator
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  5. sail_latex_backend
    Documentation
    Sail to LaTeX formatting
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  6. sail_lean_backend
    Documentation
    Sail to Lean translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  7. sail_lem_backend
    Documentation
    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  8. sail_maker
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  9. sail_manifest
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20
    BSD-2-Clause
    Used by 1 other packages
    14 Oct 2025
  10. sail_ocaml_backend
    Documentation
    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  11. sail_output
    Documentation
    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  12. sail_smt_backend
    Documentation
    Sail to SMT translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  13. sail_sv_backend
    Documentation
    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  14. sha
    Documentation
    Binding to the SHA cryptographic functions
    Vincent Hanquez Thomas Gazagnaire Goswin von Brederlow Eric Cooper Florent Monnier et al.
    1.15.4
    ISC
    Used by 14 other packages
    23 Jan 2023
  15. simple_httpd
    Documentation
    Simple HTTP server using ocaml 5 domains
    http thread server simple_httpd http_of_dir
    Christophe Raffalli
    1.0.1
    MIT
    Used by 1 other packages
    06 Jan 2026
  16. simple_httpd_caqti
    Documentation
    DB interface for simple_httpd using caqti
    Christophe Raffalli
    1.0.1
    MIT
    Used by 0 other packages
    06 Jan 2026
  17. syndic
    Documentation
    RSS1, RSS2, Atom and OPML1 parsing
    Romain Calascibetta Christophe Troestler
    1.8.0
    MIT
    Used by 2 other packages
    03 Mar 2026
  18. timed
    Documentation
    Timed references for imperative state
    Christophe Raffalli <christophe@raffalli.eu Rodolphe Lepigre <lepigre@mpi-sws.org>
    1.1
    MIT
    Used by 1 other packages
    05 Aug 2022
  19. tuareg
    Documentation
    OCaml mode for GNU Emacs
    Albert Cohen <Albert.Cohen@prism.uvsq.fr> Sam Steingold <sds@gnu.org> Christophe Troestler <Christophe.Troestler@umons.ac.be> Stefan Monnier <monnier@iro.umontreal.ca>
    3.0.1
    GPL-2.0-or-later
    Used by 2 other packages
    03 Oct 2022
  20. 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
    04 May 2021
  21. 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
    25 Dec 2018
  22. weberizer
    Documentation
    Compile HTML templates into OCaml modules
    web template
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.8
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    31 Oct 2018
  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
    19 Sep 2025
  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
    19 Sep 2025
  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
    19 Sep 2025
  26. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    05 Jun 2024
1 2 3