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

Showing 1 - 18
  1. aifad
    Documentation
    AIFAD - Automated Induction of Functions over Algebraic Datatypes
    Markus Mottl <markus.mottl@gmail.com>
    2.3.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    25 Nov 2024
  2. cfg
    Documentation
    CFG - Context-Free Grammars
    Markus Mottl <markus.mottl@gmail.com>
    2.3.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    25 Nov 2024
  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 25 other packages
    19 Sep 2024
  9. gpr
    Documentation
    GPR - Library and Application for Gaussian Process Regression
    Markus Mottl <markus.mottl@gmail.com>
    1.5.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    09 Dec 2024
  10. gsl
    Documentation
    GSL - Bindings to the GNU Scientific Library
    Olivier Andrieu <oandrieu@gmail.com> Markus Mottl <markus.mottl@gmail.com>
    1.25.1
    GPL-3.0-or-later
    Used by 9 other packages
    26 Nov 2024
  11. 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.1.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    11 Dec 2024
  12. 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
  13. pcre
    Documentation
    Bindings to the Perl Compatibility Regular Expressions library
    Markus Mottl <markus.mottl@gmail.com>
    8.0.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 53 other packages
    20 Feb 2025
  14. pcre2
    Documentation
    Bindings to the Perl Compatibility Regular Expressions library (version 2)
    Markus Mottl <markus.mottl@gmail.com>
    8.0.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    16 Feb 2025
  15. pomap
    Documentation
    POMAP - Partially Ordered Maps for OCaml
    Markus Mottl <markus.mottl@gmail.com>
    4.1.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    02 Dec 2024
  16. postgresql
    Documentation
    Bindings to the PostgreSQL library
    Alain Frisch Markus Mottl <markus.mottl@gmail.com> Petter Urkedal <paurkedal@gmail.com>
    5.1.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    09 Dec 2024
  17. 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 2 other packages
    29 Oct 2024
  18. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.3.1
    MIT
    Used by 23 other packages
    09 Mar 2025