126 search results for "author:"Christophe""

Showing 51 - 100
  1. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    22 Feb 2021
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    32.0
    LGPL-2.1-only
    Used by 4 other packages
    08 Dec 2025
  3. freetds
    Documentation
    Binding to the FreeTDS library
    clib:ct clib:sybdb
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Kenn Knowles <kenn.knowles@gmail.com>
    0.7
    LGPL-2.1-only
    Used by 1 other packages
    07 Feb 2019
  4. functory
    Documentation
    Distributed computing library.
    Jean-Christophe Filliâtre Kalyan Krishnamani
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    25 May 2018
  5. gammu
    Documentation
    Cell phone and SIM card access
    SMS phone clib:gammu
    Christophe Troestler Noémie Meunier Pierre Hauweele
    0.9.4
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Feb 2018
  6. gles3

    No documentation

    OCaml GLES 3.0 bindings
    Christophe Raffalli <raffalli@univ-savoie.fr>, Alexandre Miquel<amiquel@fing.edu.uy>
    20160307.alpha
    LGPL-3.0-only
    Used by 0 other packages
    08 Mar 2016
  7. 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
    18 Mar 2026
  8. 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
    19 Nov 2024
  9. guardian

    No documentation

    Role-based access control for OCaml
    Department of Economics, University of Zurich John Christopher McAlpine
    0.4.0
    GPL-2.0-or-later
    Used by 0 other packages
    09 Apr 2026
  10. hashcons
    Documentation
    OCaml hash-consing library
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
    1.4.0
    LGPL-2.1-only
    Used by 6 other packages
    01 Feb 2024
  11. hashset
    Documentation
    Sets as hash tables
    Jean-Christophe Filliâtre
    1.0.1
    LGPL-2.1-only
    Used by 1 other packages
    14 Feb 2025
  12. integration1d
    Documentation
    Collection of 1D numerical integration routines
    science numerics
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    ISC
    Used by 0 other packages
    15 Sep 2019
  13. interval
    Documentation
    An interval arithmetic library for OCaml (meta package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 0 other packages
    09 Dec 2022
  14. interval_base
    Documentation
    An interval library for OCaml (base package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 3 other packages
    09 Dec 2022
  15. interval_crlibm
    Documentation
    An interval library for OCaml (crlibm version)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    09 Dec 2022
  16. interval_intel
    Documentation
    An interval library for OCaml
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    09 Dec 2022
  17. lacaml
    Documentation
    Lacaml - OCaml-bindings to BLAS and LAPACK
    clib:lapack clib:blas
    Egbert Ammicht <eammicht@lucent.com> Patrick Cousot <Patrick.Cousot@ens.fr> Sam Ehrlichman <sehrlichman@janestreet.com> Florent Hoareau <h.florent@gmail.com> Markus Mottl <markus.mottl@gmail.com> et al.
    11.1.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    11 Dec 2024
  18. lbfgs
    Documentation
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.5
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    18 Oct 2023
  19. libsail
    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 11 other packages
    22 Dec 2025
  20. lmdb
    Documentation
    Bindings for LMDB, a fast in-file database with ACID transactions
    clib:lmdb database
    Gabriel Radanne Christopher Zimmermann <christopher@gmerlin.de>
    1.1.1
    MIT
    Used by 0 other packages
    23 Jan 2026
  21. lpd
    Documentation
    A Line Printer Daemon (LPD) server library written entirely in OCaml.
    lpd print
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.2.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    14 Sep 2018
  22. magic
    Documentation
    Bindings to libmagic
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.4
    GPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    11 Nov 2024
  23. mesh
    Documentation
    Triangular mesh generation and manipulation
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    19 Mar 2019
  24. mesh-display
    Documentation
    Triangular mesh representation using the graphics module
    Christophe Troestler
    0.8.9
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    29 Oct 2017
  25. mesh-easymesh
    Documentation
    Triangular mesh generation with EasyMesh
    Mesh Triangulation PDE
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  26. mesh-graphics
    Documentation
    Triangular mesh representation using the graphics module
    mesh
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  27. mesh-triangle
    Documentation
    Binding to the triangle mesh generator
    clib:triangle
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  28. mindstorm
    Documentation
    Drive Lego Mindstorms bricks from OCaml
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 1 other packages
    12 Nov 2021
  29. mindstorm-lwt
    Documentation
    Drive Lego Mindstorms bricks from OCaml (LWT version)
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 0 other packages
    12 Nov 2021
  30. mkocaml
    Documentation
    Tool to generate OCaml projects
    Chris Nevers <christophernevers96@gmail.com>
    1.2
    BSD-3-Clause
    Used by 0 other packages
    11 Jun 2021
  31. 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
    15 Feb 2021
  32. 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
    15 Feb 2021
  33. moss
    Documentation
    A client for the MOSS plagiarism detection service
    MOSS
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.1.1
    ISC
    Used by 0 other packages
    19 Mar 2019
  34. mset
    Documentation
    A library for small multisets
    Jean-Christophe Filliâtre
    0.2.0
    LGPL-2.1-or-later
    Used by 0 other packages
    02 Feb 2026
  35. mysql8

    No documentation

    OCaml interface for mysql-connector-c
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 1 other packages
    07 Oct 2020
  36. nlopt
    Documentation
    OCaml bindings to the NLOpt optimization library
    clib:nlopt
    Michał Kurcewicz <michal.kurcewicz@gmail.com> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    05 Jul 2023
  37. oasis2opam
    Documentation
    Tool to convert OASIS metadata to OPAM package descriptions
    build install
    Christophe Troestler
    0.8
    GPL-3 with OCaml linking exception
    Used by 0 other packages
    06 Jan 2017
  38. 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
    15 Apr 2025
  39. 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
    15 Apr 2025
  40. ocamline
    Documentation
    Command line interface for user input
    Chris Nevers <christophernevers96@gmail.com>
    1.2
    Used by 1 other packages
    30 Jan 2020
  41. ocamlwc
    Documentation
    Count lines in OCaml source code
    Jean-Christophe Filliâtre
    0.3
    GPL-2.0-only
    Used by 0 other packages
    21 Nov 2013
  42. odbc
    Documentation
    Interface to various ODBC drivers
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    3.0
    Used by 0 other packages
    08 Sep 2014
  43. odepack
    Documentation
    Binding to ODEPACK
    ODE scientific-computing
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.1
    LGPL-3.0-only
    Used by 1 other packages
    27 Sep 2020
  44. 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
  45. otoggl
    Documentation
    Bindings for Toggl API in OCaml
    Christophe Riolo Uusivaara
    0.3.2
    MIT
    Used by 0 other packages
    16 Mar 2022
  46. pacomb
    Documentation
    Parsing library based on combinators and ppx extension to write languages
    Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org>
    1.4.3
    MIT
    Used by 2 other packages
    23 Dec 2025
  47. 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
  48. 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
  49. 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
  50. 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
1 2 3