43 search results for "author:"Christophe Troestler <christophe.Troestler@umons.ac.be>""
Showing 1 - 43
-
archimedes
No documentation
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.16.0MITUsed by 13 other packages27 Jan 2025
-
C++ code generation for ATD APIs2.16.0MITUsed by 0 other packages27 Jan 2025
-
DLang code generation for ATD APIs2.16.0MITUsed by 0 other packages27 Jan 2025
-
Generates efficient JSON serializers, deserializers and validators2.16.0MITUsed by 15 other packages27 Jan 2025
-
Runtime for atdgen generated Melange converters2.16.0MITUsed by 1 other packages27 Jan 2025
-
Runtime library for code generated by atdgen2.16.0MITUsed by 8 other packages27 Jan 2025
-
Java code generation for ATD2.16.0MITUsed by 0 other packages27 Jan 2025
-
Python/mypy code generation for ATD APIs2.16.0MITUsed by 0 other packages27 Jan 2025
-
ATD Code generator for Scala2.16.0MITUsed by 0 other packages27 Jan 2025
-
TypeScript code generation for ATD APIs2.16.0MITUsed by 1 other packages27 Jan 2025
-
Benchmark running times of code1.7LGPL-3.0 WITH OCaml linking exceptionUsed by 13 other packages04 Feb 2025
-
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 14 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.1.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 11 other packages11 Dec 2024
-
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 3 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