29 search results for "author:"anil@recoil.org""
-
conf-emacs
Virtual package to install the Emacs editor
-
conf-vim
Virtual package to install the Vim editor
-
http2https
HTTP to HTTPS redirector daemon
-
minima-theme
OCaml port of the Jekyll Minima theme
-
mirage-console-solo5
Solo5 implementation of MirageOS console interfaceAnil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>0.8.0ISCUsed by 0 other packagesLast published 27 Mar 2022
-
mirage-net-macosx
MacOS implementation of the Mirage_net_lwt interface
-
mirage-net-solo5
Solo5 implementation of MirageOS network interfaceAnil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>0.8.0ISCUsed by 0 other packagesLast published 27 Mar 2022
-
mirage-solo5
Solo5 core platform libraries for MirageOSAnil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>0.9.2ISCUsed by 7 other packagesLast published 04 Mar 2023
-
mirror
Mirror upstream OPAM package distribution files
-
obi
interface to OCaml Build Infrastructure
-
ocaml-topexpect
Simulate and post-process ocaml toplevel sessions0.3MITUsed by 0 other packagesLast published 22 Aug 2017
-
ocaml-version
Manipulate, parse and generate OCaml compiler version strings
-
opam-ci
Query the opam package build status
-
opam-client
Client library for opam 2.1Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packagesLast published 15 Dec 2022
-
opam-core
Core library for opam 2.1Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 7 other packagesLast published 15 Dec 2022
-
opam-depext
Install OS distribution packages1.2.1-1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packagesLast published 11 Jun 2022
-
opam-devel
Bootstrapped development binary for opam 2.1Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packagesLast published 15 Dec 2022
-
opam-format
Format library for opam 2.1Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 14 other packagesLast published 15 Dec 2022
-
opam-installer
Installation of files to a prefix, following opam conventionsVincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packagesLast published 15 Dec 2022
-
opam-installext
OPAM plugin to install external system dependencies
-
opam-lib
The OPAM libraryThomas 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> Guillem Rieu <guillem.rieu@ocamlpro.com> Vincent Bernardoff <vb@luminar.eu.org> Roberto Di Cosmo <roberto@dicosmo.org>1.3.1Used by 5 other packagesLast published 13 Mar 2017
-
opam-repository
Repository library for opam 2.1Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packagesLast published 15 Dec 2022
-
opam-solver
Solver library for opam 2.1Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packagesLast published 15 Dec 2022
-
opam-state
State library for opam 2.1Vincent Bernardoff <vb@luminar.eu.org> Raja Boujbel <raja.boujbel@ocamlpro.com> Roberto Di Cosmo <roberto@dicosmo.org> Thomas Gazagnaire <thomas@gazagnaire.org> Louis Gesbert <louis.gesbert@ocamlpro.com> Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> Anil Madhavapeddy <anil@recoil.org> Guillem Rieu <guillem.rieu@ocamlpro.com> Ralf Treinen <ralf.treinen@pps.jussieu.fr> Frederic Tuong <tuong@users.gforge.inria.fr>2.1.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 10 other packagesLast published 15 Dec 2022
-
tuntap
OCaml library for handling TUN/TAP devices2.0.0ISCUsed by 3 other packagesLast published 19 Jun 2020
-
vmnet
MacOS X `vmnet` NAT networking
-
vpnkit
VPN-friendly networking devices for HyperKitAnil Madhavapeddy <anil@recoil.org> David Scott <dave.scott@docker.com> David Sheets <dsheets@docker.com> Gaetan de Villele <gdevillele@gmail.com> Ian Campbell <ian.campbell@docker.com> Magnus Skjegstad <magnus@skjegstad.com> Mindy Preston <mindy.preston@docker.com> Sebastiaan van Stijn <github@gone.nl> Thomas Gazagnaire <thomas@gazagnaire.com> Thomas Leonard <thomas.leonard@docker.com>0.2.0Used by 0 other packagesLast published 03 Jan 2018
-
yaml
Parse and generate YAML 1.1/1.2 filesAnil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>3.1.0ISCUsed by 15 other packagesLast published 27 Mar 2022
-
yaml-sexp
Parse and generate YAML 1.1 filesAnil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>3.1.0ISCUsed by 1 other packagesLast published 27 Mar 2022