15 search results for "author:"markus.mottl@gmail.com""

Showing 1 - 15
  1. aifad
    Documentation
    AIFAD - Automated Induction of Functions over Algebraic Datatypes
    Markus Mottl <markus.mottl@gmail.com>
    2.3.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    29 Mar 2022
  2. cfg
    Documentation
    CFG - Context-Free Grammars
    Markus Mottl <markus.mottl@gmail.com>
    2.3.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    28 Mar 2022
  3. conf-blas
    Documentation
    Virtual package for BLAS configuration
    Markus Mottl <markus.mottl@gmail.com>
    1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    06 Mar 2016
  4. conf-lapack
    Documentation
    Virtual package for LAPACK configuration
    Markus Mottl <markus.mottl@gmail.com>
    1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    06 Mar 2016
  5. conf-postgresql

    No documentation

    Virtual package relying on a PostgreSQL system installation
    Markus Mottl <markus.mottl@gmail.com>
    2
    blessing
    Used by 1 other packages
    06 Nov 2024
  6. gpr
    Documentation
    GPR - Library and Application for Gaussian Process Regression
    Markus Mottl <markus.mottl@gmail.com>
    1.5.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Nov 2019
  7. gsl
    Documentation
    GSL - Bindings to the GNU Scientific Library
    Olivier Andrieu <oandrieu@gmail.com> Markus Mottl <markus.mottl@gmail.com>
    1.25.0
    GPL-3.0-or-later
    Used by 10 other packages
    06 Dec 2023
  8. 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.0.10
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    31 May 2023
  9. ocaml-makefile
    Documentation
    Generic Makefile for building OCaml projects
    Markus Mottl <markus.mottl@gmail.com>
    6.39.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    25 Oct 2018
  10. pcre
    Documentation
    Bindings to the Perl Compatibility Regular Expressions library
    Markus Mottl <markus.mottl@gmail.com>
    7.5.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 81 other packages
    24 Jul 2021
  11. pcre2
    Documentation
    Bindings to the Perl Compatibility Regular Expressions library (version 2)
    Markus Mottl <markus.mottl@gmail.com>
    7.5.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    07 Sep 2023
  12. pomap
    Documentation
    Partially Ordered Maps for OCaml
    Markus Mottl <markus.mottl@gmail.com>
    4.1.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    25 Oct 2018
  13. postgresql
    Documentation
    Bindings to the PostgreSQL library
    Alain Frisch Markus Mottl <markus.mottl@gmail.com> Petter Urkedal <paurkedal@gmail.com>
    5.1.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    06 Nov 2024
  14. res
    Documentation
    RES - Library for resizable, contiguous datastructures
    Markus Mottl <markus.mottl@gmail.com>
    5.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    29 Oct 2024
  15. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.2.0
    MIT
    Used by 30 other packages
    06 Aug 2024