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

Showing 1 - 19
  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-mingw-w64-postgresql-i686

    No documentation

    Postgresql for i686 mingw-w64 (32-bit x86)
    Markus Mottl
    1
    blessing
    Used by 1 other packages
    06 Nov 2024
  6. conf-mingw-w64-postgresql-x86_64

    No documentation

    Postgresql for x86_64 mingw-w64 (64-bit x86_64)
    Markus Mottl
    1
    blessing
    Used by 1 other packages
    06 Nov 2024
  7. conf-postgresql
    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
  8. extlib
    Documentation
    A complete yet small extension for OCaml standard library
    Nicolas Cannasse Brian Hurt Yamagata Yoriyuki Markus Mottl Jesse Guardiani et al.
    1.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 36 other packages
    19 Sep 2024
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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