15 search results for "author:"Markus Mottl <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.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-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
  6. 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
  7. 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
  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.1.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    11 Dec 2024
  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>
    8.0.4
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 52 other packages
    23 Jun 2025
  11. 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
  12. 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
  13. postgresql
    Documentation
    Bindings to the PostgreSQL library
    Alain Frisch Markus Mottl <markus.mottl@gmail.com> Petter Urkedal <paurkedal@gmail.com>
    5.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    23 Jun 2025
  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 2 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.3.1
    MIT
    Used by 23 other packages
    09 Mar 2025