41 search results for "author:"Christophe Troestler <Christophe.Troestler@umons.ac.be>""
Showing 1 - 41
-
Extensible 2D plotting library0.4.19LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages24 Oct 2018
-
Parser for the ATD data format description language2.15.0MITUsed by 12 other packages30 Oct 2023
-
DLang code generation for ATD APIs2.15.0MITUsed by 0 other packages30 Oct 2023
-
Generates efficient JSON serializers, deserializers and validators2.15.0MITUsed by 31 other packages30 Oct 2023
-
Runtime for atdgen generated bucklescript converters2.15.0MITUsed by 1 other packages30 Oct 2023
-
Runtime library for code generated by atdgen2.15.0MITUsed by 8 other packages30 Oct 2023
-
Python/mypy code generation for ATD APIs2.15.0MITUsed by 0 other packages30 Oct 2023
-
ATD Code generator for Scala2.15.0MITUsed by 0 other packages30 Oct 2023
-
TypeScript code generation for ATD APIs2.15.0MITUsed by 1 other packages30 Oct 2023
-
1.6LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 15 other packages09 Sep 2018
-
0.1ISCUsed by 0 other packages06 Nov 2018
-
Binding to Cairo, a 2D Vector Graphics LibraryChristophe <Christophe. @umons.ac.be> Pierre Hauweele <pierre@hauweele.net>0.6.5LGPL-3.0-or-laterUsed by 15 other packages12 Nov 2024
-
Rendering Cairo on Gtk2 canvasChristophe <Christophe. @umons.ac.be> Pierre Hauweele <pierre@hauweele.net>0.6.5LGPL-3.0-or-laterUsed by 1 other packages12 Nov 2024
-
Interface between Cairo and Pango (for Gtk2)Christophe <Christophe. @umons.ac.be> Pierre Hauweele <pierre@hauweele.net>0.6.5LGPL-3.0-or-laterUsed by 0 other packages12 Nov 2024
-
Virtual package for Bluetooth libraryChristophe <Christophe. @umons.ac.be>1ISCUsed by 1 other packages20 Mar 2019
-
Virtual package relying on a FFTW3 lib system installationChristophe <Christophe. @umons.ac.be>1GPL-1.0-or-laterUsed by 1 other packages05 Sep 2018
-
Virtual package relying on a freetype lib system installationChristophe <Christophe. @umons.ac.be>1GPL-1.0-or-laterUsed by 2 other packages06 Sep 2018
-
Binding to CRlibm, a correctly rounded math libChristophe <Christophe. @umons.ac.be>0.5.1LGPL-3.0Used by 1 other packages11 Nov 2021
-
Sampling of parametric and implicit curvesChristophe <Christophe. @umons.ac.be>0.2.1GPL-3.0-or-laterUsed by 0 other packages12 Nov 2021
-
Binding to the Docker Remote APIChristophe <Christophe. @umons.ac.be>0.2.2ISCUsed by 0 other packages03 Jun 2022
-
0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages13 Sep 2019
-
0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages13 Sep 2019
-
0.8.5LGPL-2.1Used by 0 other packages06 Feb 2022
-
Binding to the FreeTDS libraryChristophe <Christophe. @umons.ac.be> Kenn Knowles <kenn.knowles@gmail.com>0.7LGPL-2.1-onlyUsed by 1 other packages07 Feb 2019
-
Collection of 1D numerical integration routinesChristophe <Christophe. @umons.ac.be>0.5.1ISCUsed by 0 other packages15 Sep 2019
-
An interval arithmetic library for OCaml (meta package)Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe <Christophe. @umons.ac.be>1.6LGPL-3.0-onlyUsed by 0 other packages09 Dec 2022
-
An interval library for OCaml (base package)Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe <Christophe. @umons.ac.be>1.6LGPL-3.0-onlyUsed by 3 other packages09 Dec 2022
-
An interval library for OCaml (crlibm version)Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe <Christophe. @umons.ac.be>1.6LGPL-3.0-onlyUsed by 1 other packages09 Dec 2022
-
An interval library for OCamlJean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe <Christophe. @umons.ac.be>1.6LGPL-3.0-onlyUsed by 1 other packages09 Dec 2022
-
Lacaml - OCaml-bindings to BLAS and LAPACK11.0.10LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 12 other packages31 May 2023
-
Bound-constrainted optimization in many variablesChristophe <Christophe. @umons.ac.be>0.9.5LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages18 Oct 2023
-
A Line Printer Daemon (LPD) server library written entirely in OCaml.Christophe <Christophe. @umons.ac.be>1.2.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages14 Sep 2018
-
Bindings to libmagicChristophe <Christophe. @umons.ac.be>0.7.4GPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages11 Nov 2024
-
0.1.1ISCUsed by 0 other packages19 Mar 2019
-
OCaml bindings to the NLOpt optimization libraryMichał Kurcewicz <michal.kurcewicz@gmail.com> Christophe <Christophe. @umons.ac.be>0.7.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages05 Jul 2023
-
Interface to various ODBC driversChristophe <Christophe. @umons.ac.be>3.0Used by 0 other packages08 Sep 2014
-
0.7.1LGPL-3.0-onlyUsed by 1 other packages27 Sep 2020
-
0.6.1LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages19 Mar 2019
-
Find roots of 1D functionsChristophe <Christophe. @umons.ac.be> Edgar Friendly <thelema314@gmail.com>0.5.1ISCUsed by 0 other packages07 Sep 2018
-
OCaml mode for GNU EmacsAlbert Cohen <Albert.Cohen@prism.uvsq.fr> Sam Steingold <sds@gnu.org> Christophe <Christophe. @umons.ac.be> Stefan Monnier <monnier@iro.umontreal.ca>3.0.1GPL-2.0-or-laterUsed by 2 other packages03 Oct 2022
-
0.8LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages31 Oct 2018