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

Showing 1 - 15
  1. AIFAD - Automated Induction of Functions over Algebraic Datatypes
    2.3.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    29 Mar 2022
  2. CFG - Context-Free Grammars
    2.3.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    28 Mar 2022
  3. Virtual package for BLAS configuration
    1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    06 Mar 2016
  4. Virtual package for LAPACK configuration
    1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    06 Mar 2016
  5. Virtual package relying on a PostgreSQL system installation
    1
    PD
    Used by 1 other packages
    01 Apr 2019
  6. GPR - Library and Application for Gaussian Process Regression
    1.5.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Nov 2019
  7. 1.25.0
    GPL-3.0-or-later
    Used by 10 other packages
    06 Dec 2023
  8. 11.0.10
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    31 May 2023
  9. Generic Makefile for building OCaml projects
    6.39.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    25 Oct 2018
  10. Bindings to the Perl Compatibility Regular Expressions library
    7.5.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 81 other packages
    24 Jul 2021
  11. Bindings to the Perl Compatibility Regular Expressions library (version 2)
    7.5.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    07 Sep 2023
  12. Partially Ordered Maps for OCaml
    4.1.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    25 Oct 2018
  13. 5.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    12 Feb 2021
  14. RES - Library for resizable, contiguous datastructures
    5.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    26 Oct 2018
  15. 5.1.0
    MIT
    Used by 27 other packages
    23 Sep 2021