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
    Added to opam-repository
  2. otoggl
    Documentation
    Bindings for Toggl API in OCaml
    Christophe Riolo Uusivaara
    0.3.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  7. rope
    Documentation
    Ropes (heavyweight strings)
    data-structures
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  23. simple_httpd_caqti
    Documentation
    DB interface for simple_httpd using caqti
    Christophe Raffalli
    1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  24. syndic
    Documentation
    RSS1, RSS2, Atom and OPML1 parsing
    Romain Calascibetta Christophe Troestler
    1.8.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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 9 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  33. zlib
    Documentation
    Bindings to the zlib compression library
    Christopher Zimmermann <christopher@gmerlin.de>
    0.8
    ISC
    Used by 1 other packages
    Added to opam-repository
1 2 3