133 search results for "author:"Christophe""

Showing 101 - 133
  1. optimization1d
    Documentation
    Find extrema of 1D functions
    optimization
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.6.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  2. otoggl
    Documentation
    Bindings for Toggl API in OCaml
    Christophe Riolo Uusivaara
    0.3.2
    MIT
    Used by 0 other packages
    16 Mar 2022
  3. pacomb
    Documentation
    Parsing library based on combinators and ppx extension to write languages
    parsing
    Christophe Raffalli <christophe@raffalli.eu>
    1.4.4
    MIT
    Used by 4 other packages
    27 Jul 2026
  4. 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
    04 Sep 2020
  5. 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
    02 Sep 2020
  6. root1d
    Documentation
    Find roots of 1D functions
    scientfic root finding
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Edgar Friendly <thelema314@gmail.com>
    0.5.1
    ISC
    Used by 0 other packages
    07 Sep 2018
  7. rope
    Documentation
    Ropes (heavyweight strings)
    datastructure
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Feb 2024
  8. sail
    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.2
    BSD-2-Clause
    Used by 0 other packages
    22 Jun 2026
  9. sail_c_backend
    Documentation
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  10. sail_coq_backend
    Documentation
    Sail to Coq translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  11. sail_doc_backend
    Documentation
    Sail documentation generator
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  12. sail_latex_backend
    Documentation
    Sail to LaTeX formatting
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  13. sail_lean_backend
    Documentation
    Sail to Lean translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  14. sail_lem_backend
    Documentation
    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  15. sail_maker
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  16. 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
  17. sail_ocaml_backend
    Documentation
    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  18. sail_output
    Documentation
    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  19. sail_smt_backend
    Documentation
    Sail to SMT translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  20. sail_sv_backend
    Documentation
    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    22 Jun 2026
  21. 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
  22. simple_httpd
    Documentation
    Simple HTTP server using ocaml 5 domains
    http thread server simple_httpd http_of_dir
    Christophe Raffalli
    1.1
    MIT
    Used by 1 other packages
    27 Jul 2026
  23. simple_httpd_caqti
    Documentation
    DB interface for simple_httpd using caqti
    Christophe Raffalli
    1.1
    MIT
    Used by 0 other packages
    27 Jul 2026
  24. syndic
    Documentation
    RSS1, RSS2, Atom and OPML1 parsing
    Romain Calascibetta Christophe Troestler
    1.8.0
    MIT
    Used by 2 other packages
    03 Mar 2026
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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