133 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 15 other packages
    Added to opam-repository
  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 2 other packages
    Added to opam-repository
  3. atd
    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
    Added to opam-repository
  4. atd-jsonlike
    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
    Added to opam-repository
  5. atd-yamlx
    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
    Added to opam-repository
  6. atdcpp
    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
    Added to opam-repository
  7. atdd
    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
    Added to opam-repository
  8. atdgen
    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
    Added to opam-repository
  9. atdgen-codec-runtime
    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
    Added to opam-repository
  10. atdgen-runtime
    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 12 other packages
    Added to opam-repository
  11. atdj
    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
    Added to opam-repository
  12. atdml
    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 1 other packages
    Added to opam-repository
  13. atdpy
    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
    Added to opam-repository
  14. atds
    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
    Added to opam-repository
  15. atdts
    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
    Added to opam-repository
  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
    Added to opam-repository
  17. bdd
    Documentation
    Implementation of BDD
    Jean-Christophe Filliâtre
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  19. bheap
    Documentation
    Priority queues
    Jean-Christophe Filliâtre
    2.0.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  23. bitlib
    Documentation
    A library for writing binary files
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 0 other packages
    Added to opam-repository
  24. bitv
    Documentation
    A bit vector library
    Jean-Christophe Filliâtre
    2.1
    LGPL-2.1-or-later
    Used by 6 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  27. CamlSurf-wayland
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  28. CamlSurf-x11
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. cgi
    Documentation
    Library for writing CGIs
    Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
    0.10
    Used by 0 other packages
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. conf-bluetooth

    No documentation

    Virtual package for Bluetooth library
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1
    ISC
    Used by 1 other packages
    Added to opam-repository
  37. conf-fftw3

    No 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
    Added to opam-repository
  38. conf-freetype

    No 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 3 other packages
    Added to opam-repository
  39. 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
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. 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 21 other packages
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. cucumber
    Documentation
    Cucumber BDD for OCaml
    Christopher Guy Yocum
    1.0.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. 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
    Added to opam-repository
1 2 3