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

Showing 1 - 16
  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 5 other packages
    23 Jul 2022
  4. 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
  5. 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
  6. opam-client
    Documentation
    Client library for opam 2.5
    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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    23 Oct 2025
  7. opam-core
    Documentation
    Core library for opam 2.5
    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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    23 Oct 2025
  8. opam-devel
    Documentation
    Bootstrapped development binary for opam 2.5
    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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    23 Oct 2025
  9. opam-format
    Documentation
    Format library for opam 2.5
    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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    23 Oct 2025
  10. 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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    23 Oct 2025
  11. 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 2 other packages
    13 Mar 2017
  12. opam-repository
    Documentation
    Repository library for opam 2.5
    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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    23 Oct 2025
  13. opam-solver
    Documentation
    Solver library for opam 2.5
    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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    23 Oct 2025
  14. opam-state
    Documentation
    State library for opam 2.5
    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.5.0~alpha1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    23 Oct 2025
  15. 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
  16. setcore
    Documentation
    Pin current process to given core number
    Roberto Di Cosmo <roberto@dicosmo.org>
    1.0.2
    Used by 0 other packages
    28 Nov 2019