29 search results for "author:"anil@recoil.org""

  1. conf-emacs
    Virtual package to install the Emacs editor
    anil@recoil.org
    1
    GPL-1.0-or-later
    Used by 2 other packages
    Last published 14 Apr 2016
  2. conf-vim
    Virtual package to install the Vim editor
    anil@recoil.org
    1
    charityware
    Used by 0 other packages
    Last published 14 Apr 2016
  3. http2https
    HTTP to HTTPS redirector daemon
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    Last published 18 Apr 2016
  4. minima-theme
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    Last published 14 Dec 2016
  5. mirage-console-solo5
    Solo5 implementation of MirageOS console interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.0
    ISC
    Used by 0 other packages
    Last published 27 Mar 2022
  6. mirage-net-macosx
    MacOS implementation of the Mirage_net_lwt interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org>
    1.10.0
    ISC
    Used by 0 other packages
    Last published 14 Mar 2022
  7. mirage-net-solo5
    Solo5 implementation of MirageOS network interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.0
    ISC
    Used by 0 other packages
    Last published 27 Mar 2022
  8. mirage-solo5
    Solo5 core platform libraries for MirageOS
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.9.2
    ISC
    Used by 7 other packages
    Last published 04 Mar 2023
  9. mirror
    Mirror upstream OPAM package distribution files
    org:ocamllabs org:mirage
    Anil Madhavapeddy <anil@recoil.org>
    0.0.1
    ISC
    Used by 0 other packages
    Last published 05 Aug 2015
  10. obi
    interface to OCaml Build Infrastructure
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 1 other packages
    Last published 13 Jun 2018
  11. ocaml-topexpect
    Simulate and post-process ocaml toplevel sessions
    Frederic Bour <frederic.bour@lakaban.net> Anil Madhavapeddy <anil@recoil.org>
    0.3
    MIT
    Used by 0 other packages
    Last published 22 Aug 2017
  12. ocaml-version
    Manipulate, parse and generate OCaml compiler version strings
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    3.6.1
    ISC
    Used by 6 other packages
    Last published 06 Mar 2023
  13. opam-ci
    Query the opam package build status
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    Last published 13 Jun 2018
  14. opam-client
    Client library for opam 2.1
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Last published 15 Dec 2022
  15. opam-core
    Core library for opam 2.1
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    Last published 15 Dec 2022
  16. opam-depext
    Install OS distribution packages
    Louis Gesbert <louis.gesbert@ocamlpro.com> Anil Madhavapeddy <anil@recoil.org>
    1.2.1-1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 11 Jun 2022
  17. opam-devel
    Bootstrapped development binary for opam 2.1
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 15 Dec 2022
  18. opam-format
    Format library for opam 2.1
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    Last published 15 Dec 2022
  19. opam-installer
    Installation of files to a prefix, following opam conventions
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 15 Dec 2022
  20. opam-installext
    OPAM plugin to install external system dependencies
    Anil Madhavapeddy <anil@recoil.org>
    1.0.1
    ISC
    Used by 0 other packages
    Last published 02 Jan 2015
  21. opam-lib
    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> Guillem Rieu <guillem.rieu@ocamlpro.com> Vincent Bernardoff <vb@luminar.eu.org> Roberto Di Cosmo <roberto@dicosmo.org>
    1.3.1
    Used by 5 other packages
    Last published 13 Mar 2017
  22. opam-repository
    Repository library for opam 2.1
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 15 Dec 2022
  23. opam-solver
    Solver library for opam 2.1
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 15 Dec 2022
  24. opam-state
    State library for opam 2.1
    Vincent 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.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Last published 15 Dec 2022
  25. tuntap
    OCaml library for handling TUN/TAP devices
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org> Anil Madhavapeddy <anil@recoil.org>
    2.0.0
    ISC
    Used by 3 other packages
    Last published 19 Jun 2020
  26. vmnet
    MacOS X `vmnet` NAT networking
    Anil Madhavapeddy <anil@recoil.org>
    1.5.1
    ISC
    Used by 1 other packages
    Last published 15 Sep 2019
  27. vpnkit
    VPN-friendly networking devices for HyperKit
    Anil 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.0
    Used by 0 other packages
    Last published 03 Jan 2018
  28. yaml
    Parse and generate YAML 1.1/1.2 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.1.0
    ISC
    Used by 15 other packages
    Last published 27 Mar 2022
  29. yaml-sexp
    Parse and generate YAML 1.1 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.1.0
    ISC
    Used by 1 other packages
    Last published 27 Mar 2022