19 search results for "author:"Markus Mottl""
Showing 1 - 19
-
aifad
No documentation
AIFAD - Automated Induction of Functions over Algebraic Datatypes2.3.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages25 Nov 2024 -
cfg
No documentation
CFG - Context-Free Grammars2.3.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages25 Nov 2024 -
Virtual package for BLAS configuration1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages06 Mar 2016
-
Virtual package for LAPACK configuration1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages06 Mar 2016
-
conf-mingw-w64-postgresql-i686
No documentation
Postgresql for i686 mingw-w64 (32-bit x86)1blessingUsed by 1 other packages06 Nov 2024 -
conf-mingw-w64-postgresql-x86_64
No documentation
Postgresql for x86_64 mingw-w64 (64-bit x86_64)1blessingUsed by 1 other packages06 Nov 2024 -
Virtual package relying on a PostgreSQL system installation2blessingUsed by 1 other packages06 Nov 2024
-
A complete yet small extension for OCaml standard library1.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 36 other packages19 Sep 2024
-
A complete yet small extension for OCaml standard library (full, compatibility)1.7.2LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 24 other packages13 Jul 2017
-
gpr
No documentation
GPR - Library and Application for Gaussian Process Regression1.5.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages25 Nov 2024 -
GSL - Bindings to the GNU Scientific Library1.25.1GPL-3.0-or-laterUsed by 10 other packages26 Nov 2024
-
Lacaml - OCaml-bindings to BLAS and LAPACK11.0.10LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 12 other packages31 May 2023
-
Generic Makefile for building OCaml projects6.39.2LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages25 Oct 2018
-
Bindings to the Perl Compatibility Regular Expressions library7.5.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 81 other packages24 Jul 2021
-
Bindings to the Perl Compatibility Regular Expressions library (version 2)7.5.2LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 5 other packages07 Sep 2023
-
Partially Ordered Maps for OCaml4.1.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages25 Oct 2018
-
Bindings to the PostgreSQL library5.1.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 6 other packages27 Nov 2024
-
RES - Library for resizable, contiguous datastructures5.0.2LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 5 other packages29 Oct 2024
-
SQLite3 bindings for OCaml5.2.0MITUsed by 30 other packages06 Aug 2024