126 search results for "author:"Christophe""

Showing 1 - 50
  1. ANSITerminal
    Documentation
    Basic control of ANSI compliant terminals and the windows shell
    terminal
    Christophe Troestler Vincent Hugot
    0.8.5
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    19 Jul 2022
  2. archimedes
    Documentation
    Extensible 2D plotting library
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net> Fabian Pijcke <fabian.pijcke@gmail.com> Noémie Meunier <noemie_6462@hotmail.com> Bertrand Desmons <bibi-6@hotmail.fr> et al.
    0.4.19
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    24 Oct 2018
  3. atd

    No documentation

    Parser for the ATD data format description language
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 13 other packages
    26 Apr 2026
  4. atd-jsonlike

    No documentation

    Generic JSON-like AST for use with ATD code generators
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 1 other packages
    26 Apr 2026
  5. atd-yamlx

    No documentation

    YAML-to-jsonlike bridge for use with ATD code generators
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2026
  6. atdcpp

    No documentation

    C++ code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2026
  7. atdd

    No documentation

    DLang code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2026
  8. atdgen

    No documentation

    Generates efficient JSON serializers, deserializers and validators
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 19 other packages
    26 Apr 2026
  9. atdgen-codec-runtime

    No documentation

    Runtime for atdgen generated Melange converters
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 1 other packages
    26 Apr 2026
  10. atdgen-runtime

    No documentation

    Runtime library for code generated by atdgen
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 10 other packages
    26 Apr 2026
  11. atdj

    No documentation

    Java code generation for ATD
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2026
  12. atdml

    No documentation

    Simplified OCaml JSON serializers using the Yojson AST
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2026
  13. atdpy

    No documentation

    Python/mypy code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2026
  14. atds

    No documentation

    ATD Code generator for Scala
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2026
  15. atdts

    No documentation

    TypeScript code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 2 other packages
    26 Apr 2026
  16. bag
    Documentation
    Bags (aka multisets)
    Jean-Christophe Filliâtre Clément Pascutto
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    09 Mar 2021
  17. bdd
    Documentation
    Implementation of BDD
    Jean-Christophe Filliâtre
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    21 May 2025
  18. benchmark
    Documentation
    Benchmark running times of code
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Doug Bagley c-cube
    1.7
    LGPL-3.0 WITH OCaml linking exception
    Used by 17 other packages
    04 Feb 2025
  19. bheap
    Documentation
    Priority queues
    Jean-Christophe Filliâtre
    2.0.0
    LGPL-2.1-only
    Used by 6 other packages
    06 Sep 2020
  20. bibtex2html
    Documentation
    BibTeX to HTML translator
    Jean-Christophe Filliâtre Claude Marché
    1.99-1
    GPL-2.0-only
    Used by 0 other packages
    16 Nov 2020
  21. bindlib
    Documentation
    OCaml Bindlib library for bound variables
    Rodolphe Lepigre <lepigre@mpi-sws.org> Christophe Raffalli <christophe@raffalli.eu
    6.0.0
    LGPL-3.0
    Used by 2 other packages
    01 Mar 2022
  22. biocaml
    Documentation
    The OCaml Bioinformatics Library
    Sebastien Mondet Ashish Agarwal Philippe Veber Christophe Troestler Sergei Lebedev et al.
    0.11.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    09 May 2022
  23. bitlib
    Documentation
    A library for writing binary files
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 0 other packages
    17 Jun 2019
  24. bitv
    Documentation
    A bit vector library
    Jean-Christophe Filliâtre
    2.1
    LGPL-2.1-or-later
    Used by 6 other packages
    27 Aug 2025
  25. bwrap
    Documentation
    Use Bubblewrap to sandbox executables
    sandbox bubblewrap
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.1
    ISC
    Used by 0 other packages
    06 Nov 2018
  26. CamelCase
    Documentation
    A simple OCaml test framework
    tests test unit unit tests
    Christopher Kaster <me@atomicptr.de>
    0.3.0
    MIT
    Used by 0 other packages
    25 Mar 2025
  27. cairo2
    Documentation
    Binding to Cairo, a 2D Vector Graphics Library
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 15 other packages
    12 Nov 2024
  28. cairo2-gtk
    Documentation
    Rendering Cairo on Gtk2 canvas
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 1 other packages
    12 Nov 2024
  29. cairo2-pango
    Documentation
    Interface between Cairo and Pango (for Gtk2)
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2024
  30. canary
    Documentation
    Capture unhandled exceptions and automatically report them through various channels
    Department of Economics, University of Zurich John Christopher McAlpine
    0.0.4
    GPL-2.0-or-later
    Used by 0 other packages
    23 Feb 2026
  31. cgi
    Documentation
    Library for writing CGIs
    Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
    0.10
    Used by 0 other packages
    22 Feb 2020
  32. color-brewery
    Documentation
    Offer colors palettes and functions to brew colors
    Christophe Troestler
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    20 Feb 2021
  33. combine
    Documentation
    Combine is a library for combinatorics problem solving.
    Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr> Rémy El Sibaie <remy.el-sibaie@lip6.fr>
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2016
  34. conf-bluetooth
    Documentation
    Virtual package for Bluetooth library
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1
    ISC
    Used by 1 other packages
    20 Mar 2019
  35. conf-fftw3
    Documentation
    Virtual package relying on a FFTW3 lib system installation
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1
    GPL-1.0-or-later
    Used by 1 other packages
    05 Sep 2018
  36. conf-freetype
    Documentation
    Virtual package relying on a freetype lib system installation
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1
    GPL-1.0-or-later
    Used by 2 other packages
    06 Sep 2018
  37. conf-mingw-w64-freetype-i686

    No documentation

    Virtual package for freetype on i686 mingw-w64 (32-bit x86)
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1
    GPL-1.0-or-later
    Used by 1 other packages
    12 Sep 2025
  38. conf-mingw-w64-freetype-x86_64

    No documentation

    Virtual package for freetype on x86_64 mingw-w64 (64-bit x86_64)
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1
    GPL-1.0-or-later
    Used by 1 other packages
    12 Sep 2025
  39. crlibm
    Documentation
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    11 Nov 2021
  40. csv
    Documentation
    A pure OCaml library to read and write CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 22 other packages
    10 Dec 2019
  41. csv-lwt
    Documentation
    A pure OCaml library to read and write CSV files, LWT version
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Dec 2019
  42. csvtool
    Documentation
    Command line tool for handling CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Dec 2019
  43. cucumber
    Documentation
    Cucumber BDD for OCaml
    Christopher Guy Yocum
    1.0.4
    MIT
    Used by 0 other packages
    03 Apr 2023
  44. curve-sampling
    Documentation
    Sampling of parametric and implicit curves
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2.1
    GPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2021
  45. docker-api
    Documentation
    Binding to the Docker Remote API
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2.2
    ISC
    Used by 0 other packages
    03 Jun 2022
  46. dropbox
    Documentation
    Binding to the Dropbox Remote API
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    13 Sep 2019
  47. dropbox_lwt_unix
    Documentation
    Binding to the Dropbox Remote API (Unix)
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Sep 2019
  48. dum
    Documentation
    Inspect the runtime representation of arbitrary OCaml values
    Martin Jambon Jean-Christophe Filliatre Richard W.M. Jones
    1.0.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Jun 2022
  49. 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
  50. 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
1 2 3