17 search results for "author:"Roberto Di Cosmo""

Showing 1 - 17
  1. advi

    No documentation

    Active DVI Dune package!
    Alexandre Miquel Jun Furuse Didier Rémy Pierre Weis Xavier Leroy et al.
    2.0.0
    LGPL-2.1-or-later
    Used by 0 other packages
    14 Apr 2021
  2. cpu
    Documentation
    Pin current process to given core number
    Roberto Di Cosmo <roberto@dicosmo.org>
    2.0.0
    Used by 2 other packages
    11 Dec 2019
  3. cudf
    Documentation
    CUDF library (part of the Mancoosi tools)
    Roberto di Cosmo <roberto@dicosmo.org> Stefano Zacchiroli Pietro Abate
    0.10
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    23 Jul 2022
  4. dose

    No documentation

    Dose library (part of Mancoosi tools)
    Pietro Abate Jaap Boender Roberto Di Cosmo Johannes Schauer Ralf Treinen et al.
    3.4.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Jan 2016
  5. dose3
    Documentation
    Dose library (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    22 Jul 2021
  6. dose3-extra
    Documentation
    Dose-extra libraries and tools (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Jul 2021
  7. opam-client
    Documentation
    Client library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    10 Apr 2024
  8. opam-core
    Documentation
    Core library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    10 Apr 2024
  9. opam-devel
    Documentation
    Bootstrapped development binary for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Apr 2024
  10. opam-format
    Documentation
    Format library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    10 Apr 2024
  11. opam-installer
    Documentation
    Installation of files to a prefix, following opam conventions
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    10 Apr 2024
  12. opam-lib
    Documentation
    The OPAM library
    Thomas Gazagnaire <thomas@gazagnaire.org> Anil Madhavapeddy <anil@recoil.org> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Frederic Tuong <tuong@users.gforge.inria.fr> Louis Gesbert <louis.gesbert@ocamlpro.com> et al.
    1.3.1
    Used by 5 other packages
    13 Mar 2017
  13. opam-repository
    Documentation
    Repository library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    10 Apr 2024
  14. opam-solver
    Documentation
    Solver library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    10 Apr 2024
  15. opam-state
    Documentation
    State library for opam 2.2
    David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto Di Cosmo <roberto@dicosmo.org> et al.
    2.2.0~beta2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    10 Apr 2024
  16. parmap
    Documentation
    Minimalistic library allowing to exploit multicore architecture
    Roberto Di Cosmo <roberto@dicosmo.org>
    1.2.5
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    28 Nov 2022
  17. setcore
    Documentation
    Pin current process to given core number
    Roberto Di Cosmo <roberto@dicosmo.org>
    1.0.2
    Used by 1 other packages
    28 Nov 2019