15 search results for "author:"Markus Mottl <markus.mottl@gmail.com>""
-
AIFAD - Automated Induction of Functions over Algebraic Datatypes2.3.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages29 Mar 2022
-
CFG - Context-Free Grammars2.3.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages28 Mar 2022
-
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 1 other packages06 Mar 2016
-
Virtual package relying on a PostgreSQL system installation1PDUsed by 1 other packages01 Apr 2019
-
GPR - Library and Application for Gaussian Process Regression1.5.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Nov 2019
-
GSL - Bindings to the GNU Scientific Library1.24.3GPL-3.0-or-laterUsed by 10 other packages06 Aug 2020
-
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 78 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.0.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 5 other packages12 Feb 2021
-
RES - Library for resizable, contiguous datastructures5.0.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 5 other packages26 Oct 2018
-
SQLite3 bindings for OCaml5.1.0MITUsed by 27 other packages23 Sep 2021