122 search results for "author:"Christophe""

Showing 101 - 122
  1. sail_latex_backend

    No 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
  2. sail_lean_backend

    No 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
  3. sail_lem_backend

    No 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
  4. sail_maker

    No 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
  5. 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
  6. sail_ocaml_backend

    No 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
  7. sail_output

    No 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
  8. sail_smt_backend

    No 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
  9. sail_sv_backend

    No 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
  10. 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
  11. simple_httpd

    No 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
  12. simple_httpd_caqti

    No documentation

    DB interface for simple_httpd using caqti
    Christophe Raffalli
    1.0.1
    MIT
    Used by 0 other packages
    06 Jan 2026
  13. syndic
    Documentation
    RSS1, RSS2, Atom and OPML1 parsing
    Romain Calascibetta Christophe Troestler
    1.7.0
    MIT
    Used by 2 other packages
    19 Jun 2025
  14. 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
  15. 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
  16. vector
    Documentation
    Resizable Arrays
    Jean-Christophe Filliâtre
    1.0.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    04 May 2021
  17. 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
  18. 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
  19. 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 7 other packages
    19 Sep 2025
  20. 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
  21. 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
  22. 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