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
    Added to opam-repository
  2. ease-caml
    Documentation
    A easing/tweening library for OCaml
    game easing tween animation
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.1.7
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  4. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    Added to opam-repository
  5. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.4.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  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 6 other packages
    Added to opam-repository
  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
    Added to opam-repository
  8. functory
    Documentation
    Distributed computing library
    Jean-Christophe Filliâtre Kalyan Krishnamani
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  10. gles3
    Documentation
    OpenGL ES 3.2 bindings
    graphics 3D openGL Gles
    Christophe Raffalli
    20260725
    MIT
    Used by 4 other packages
    Added to opam-repository
  11. gles3-stubs
    Documentation
    OpenGL ES3, Commen Egl and Gles3 C stubs
    Christophe Raffalli
    20260725
    MIT
    Used by 1 other packages
    Added to opam-repository
  12. gles3-wayland
    Documentation
    OpenGL ES3 Wayland backend
    Christophe Raffalli
    20260725
    MIT
    Used by 1 other packages
    Added to opam-repository
  13. gles3-x11
    Documentation
    OpenGL ES3 X11 backend
    Christophe Raffalli
    20260725
    MIT
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  18. hashset
    Documentation
    Sets as hash tables
    Jean-Christophe Filliâtre
    1.0.1
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  37. mkocaml
    Documentation
    Tool to generate OCaml projects
    Chris Nevers <christophernevers96@gmail.com>
    1.2
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  42. mysql8

    No documentation

    OCaml interface for mysql-connector-c
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  45. ocamlgraph
    Documentation
    A generic graph library for OCaml
    graph library algorithms directed graph vertice edge persistent imperative data-structures
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 40 other packages
    Added to opam-repository
  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
    Added to opam-repository
  47. ocamline
    Documentation
    Command line interface for user input
    Chris Nevers <christophernevers96@gmail.com>
    1.2
    Used by 1 other packages
    Added to opam-repository
  48. ocamlwc
    Documentation
    Count lines in OCaml source code
    Jean-Christophe Filliâtre
    0.3
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  49. odbc
    Documentation
    Interface to various ODBC drivers
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    3.0
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
1 2 3