133 search results for "author:"Christophe""

Showing 51 - 100
  1. earley
    Documentation
    Parsing library based on Earley Algorithm
    Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org>
    3.0.0
    CeCILL-B_V1
    Used by 1 other packages
    29 Sep 2020
  2. ease-caml
    Documentation
    A easing/tweening library for OCaml
    game easing tween animation
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.1.5
    Apache-2.0
    Used by 0 other packages
    03 Jun 2026
  3. fftw3
    Documentation
    Binding to the Fast Fourier Transform library FFTW
    FFT
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.8.5
    LGPL-2.1
    Used by 0 other packages
    06 Feb 2022
  4. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    22 Feb 2021
  5. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.2.0
    Apache-2.0
    Used by 0 other packages
    28 Jun 2026
  6. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    26 Jul 2026
  7. 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
  8. 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
  9. 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
  10. gles3
    Documentation
    OpenGL ES 3.2 bindings
    graphics 3D openGL Gles
    Christophe Raffalli
    20260725
    MIT
    Used by 4 other packages
    28 Jul 2026
  11. gles3-stubs
    Documentation
    OpenGL ES3, Commen Egl and Gles3 C stubs
    Christophe Raffalli
    20260725
    MIT
    Used by 1 other packages
    28 Jul 2026
  12. gles3-wayland
    Documentation
    OpenGL ES3 Wayland backend
    Christophe Raffalli
    20260725
    MIT
    Used by 1 other packages
    28 Jul 2026
  13. gles3-x11
    Documentation
    OpenGL ES3 X11 backend
    Christophe Raffalli
    20260725
    MIT
    Used by 1 other packages
    28 Jul 2026
  14. 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
  15. 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
  16. guardian
    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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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.2
    BSD-2-Clause
    Used by 11 other packages
    22 Jun 2026
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. mysql8

    No documentation

    OCaml interface for mysql-connector-c
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 1 other packages
    07 Oct 2020
  43. 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
  44. 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
  45. ocamlgraph

    No 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
  46. 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
  47. ocamline
    Documentation
    Command line interface for user input
    Chris Nevers <christophernevers96@gmail.com>
    1.2
    Used by 1 other packages
    30 Jan 2020
  48. 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
  49. odbc

    No documentation

    Interface to various ODBC drivers
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    3.0
    Used by 0 other packages
    08 Sep 2014
  50. 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
1 2 3