17 search results for "author:"Roberto Di Cosmo""
Showing 1 - 17
-
Active DVI Dune package!2.0.0LGPL-2.1-or-laterUsed by 0 other packages14 Apr 2021
-
Pin current process to given core numberRoberto Cosmo <roberto@ cosmo.org>2.0.0Used by 2 other packages11 Dec 2019
-
CUDF library (part of the Mancoosi tools)0.10LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 7 other packages23 Jul 2022
-
dose
No documentation
Dose library (part of Mancoosi tools)3.4.2LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages19 Jan 2016 -
Dose library (part of Mancoosi tools)7.0.0LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages22 Jul 2021
-
Dose-extra libraries and tools (part of Mancoosi tools)7.0.0LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Jul 2021
-
Client library for opam 2.2David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 5 other packages22 Sep 2024
-
Core library for opam 2.2David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 8 other packages22 Sep 2024
-
Bootstrapped development binary for opam 2.2David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Sep 2024
-
Format library for opam 2.2David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 14 other packages22 Sep 2024
-
Installation of files to a prefix, following opam conventionsDavid Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages22 Sep 2024
-
The OPAM library1.3.1Used by 5 other packages13 Mar 2017
-
Repository library for opam 2.2David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages22 Sep 2024
-
Solver library for opam 2.2David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packages22 Sep 2024
-
State library for opam 2.2David Allsopp Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Kate Deplaix <kit-ty-kate@outlook.com> Roberto et al. Cosmo <roberto@ cosmo.org>2.3.0~alpha1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 9 other packages22 Sep 2024
-
Minimalistic library allowing to exploit multicore architectureRoberto Cosmo <roberto@ cosmo.org>1.2.5LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 14 other packages28 Nov 2022
-
Pin current process to given core numberRoberto Cosmo <roberto@ cosmo.org>1.0.2Used by 1 other packages28 Nov 2019