Anil Madhavapeddy avsm
-
University of Cambridge
- Cambridge, UK
- https://anil.recoil.org/
- https://orcid.org/0000-0001-8954-2428
- @avsm@amok.recoil.org
- https://threads.net/avsm
- @anil.recoil.org
Highlights
-
mirage-protocols Public
Forked from mirage/mirage-protocolsNetwork protocol module type definitions for MirageOS
-
mirage-time Public
Forked from mirage/mirage-timeTime signatures for MirageOS
OCaml ISC License UpdatedJun 14, 2017 -
mirage-vnetif Public
Forked from mirage/mirage-vnetifVirtual network interface and software bridge for Mirage
OCaml ISC License UpdatedJun 12, 2017 -
configurator Public
Forked from janestreet/configuratorHelper library for gathering system configuration
OCaml Apache License 2.0 UpdatedJun 5, 2017 -
-
ocaml-ipv6-multicast Public
Forked from vbmithr/ocaml-ipv6-multicastUNIX bindings for IPv6 multicast
OCaml ISC License UpdatedMay 31, 2017 -
odig Public
Forked from b0-system/odigMining OCaml package installs
OCaml ISC License UpdatedMay 27, 2017 -
mirage-kv Public
Forked from mirage/mirage-kvMirageOS signature for key/value stores
OCaml ISC License UpdatedMay 26, 2017 -
mirage-fs Public
Forked from mirage/mirage-fsFilesystem and block libraries for Mirage
OCaml ISC License UpdatedMay 26, 2017 -
capnp-ocaml Public
Forked from capnproto/capnp-ocamlOCaml code generator plugin for the Cap'n Proto serialization framework
OCaml UpdatedMay 23, 2017 -
charrua-unix Public
Forked from haesbaert/charrua-unixA DHCP server for UNIX systems based on charrua-core.
OCaml ISC License UpdatedMay 22, 2017 -
ocaml-qcow Public
Forked from mirage/ocaml-qcowPure OCaml code for parsing, printing, modifying .qcow format data
OCaml Other UpdatedMay 17, 2017 -
opam-publish Public
Forked from ocaml-opam/opam-publishA tool to ease contributions to opam repositories
OCaml Other UpdatedMay 12, 2017 -
hesternus Public
CLI tool to generate weekly reports for clusters of GitHub projects
-
packet Public
Forked from ebsarr/packetpacket, a CLI tool to manage packet.net services
-
packngo Public
Forked from equinixmetal-archive/packngoPacket Go Api Client
Go Other UpdatedApr 11, 2017 -
wasm-jit-prototype Public
Forked from WebAssembly/wasm-jit-prototypeStandalone VM using LLVM JIT
C++ UpdatedMar 13, 2017 -
docker.github.io Public
Forked from docker/docsSource repo for Docker's Documentation
JavaScript Apache License 2.0 UpdatedMar 3, 2017 -
opam-tagger Public
Add and remove tags from `opam` format files
-
mirageos-3-beta Public
Forked from mato/mirageos-3-betaOPAM repository for packages included in the MirageOS 3 beta.
UpdatedFeb 22, 2017 -
mirage-http Public
Forked from mirage/old-mirage-cohttp-adapterUnix HTTP client and server using the Mirage libraries
OCaml ISC License UpdatedFeb 22, 2017 -
events Public
Forked from maintainerati/eventsHome of information about Maintainerati events.
UpdatedFeb 15, 2017 -
mirage-skeleton Public
Forked from mirage/mirage-skeletonBuild skeleton and examples of simple Mirage apps
OCaml The Unlicense UpdatedFeb 2, 2017 -
charrua-client Public
Forked from yomimono/charrua-clientDHCP client using charrua-core.
OCaml ISC License UpdatedFeb 2, 2017 -
git-delve Public
WIP: Delve into statistics about clusters of Git repositoris
-
mirage-dev Public
Forked from mirage/mirage-devDevelopment OPAM repository for work-in-progress packages
Shell UpdatedJan 22, 2017 -
depyt Public
Forked from samoht/depytYet another type combinator library
OCaml ISC License UpdatedJan 18, 2017 -
opam-solver-proxy Public
Proxy server to make remote OPAM solver requests
-
ocaml-git Public
Forked from mirage/ocaml-gitPure OCaml low-level git bindings
OCaml ISC License UpdatedDec 29, 2016 -