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

Showing 1 - 16
  1. advi
    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
    Added to opam-repository
  2. cpu
    Documentation
    Pin current process to given core number
    Roberto Di Cosmo <roberto@dicosmo.org>
    2.0.0
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Added to opam-repository
  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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    Added to opam-repository
  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
    Added to opam-repository
  16. setcore
    Documentation
    Pin current process to given core number
    Roberto Di Cosmo <roberto@dicosmo.org>
    1.0.2
    Used by 0 other packages
    Added to opam-repository