17 search results for "author:"Markus Mottl""

Showing 1 - 17
  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 1 other packages
    06 Mar 2016
  5. conf-postgresql
    Documentation
    Virtual package relying on a PostgreSQL system installation
    Markus Mottl <markus.mottl@gmail.com>
    1
    PD
    Used by 1 other packages
    01 Apr 2019
  6. extlib
    Documentation
    A complete yet small extension for OCaml standard library
    Nicolas Cannasse Brian Hurt Yamagata Yoriyuki Markus Mottl Jesse Guardiani et al.
    1.7.9
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 36 other packages
    05 Aug 2022
  7. extlib-compat
    Documentation
    A complete yet small extension for OCaml standard library (full, compatibility)
    Nicolas Cannasse Brian Hurt Yamagata Yoriyuki Markus Mottl Jesse Guardiani et al.
    1.7.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 24 other packages
    13 Jul 2017
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. postgresql
    Documentation
    Bindings to the PostgreSQL library
    Alain Frisch Markus Mottl <markus.mottl@gmail.com> Petter Urkedal <paurkedal@gmail.com>
    5.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    12 Feb 2021
  16. res
    Documentation
    RES - Library for resizable, contiguous datastructures
    Markus Mottl <markus.mottl@gmail.com>
    5.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    26 Oct 2018
  17. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.1.0
    MIT
    Used by 27 other packages
    23 Sep 2021