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
-
ocamlformat Public
Forked from ocaml-ppx/ocamlformatAuto-formatter for OCaml code
OCaml MIT License UpdatedDec 19, 2019 -
mirage-tcpip Public
Forked from mirage/mirage-tcpipNetworking stack for Mirage
-
mirage-www Public
Forked from mirage/mirage-wwwWebsite infrastructure for openmirage.org
OCaml UpdatedNov 26, 2019 -
ocaml-ci-scripts Public
Forked from ocaml/ocaml-ci-scriptsSkeleton for Travis CI scripts
OCaml ISC License UpdatedNov 24, 2019 -
prometheus Public
Forked from mirage/prometheusOCaml library for reporting metrics to a Prometheus server
OCaml Apache License 2.0 UpdatedNov 23, 2019 -
travis-senv Public
Command-line utility to ease encryption and decryption of Travis secure environment variables
-
ocaml-conduit Public
Forked from mirage/ocaml-conduitResolve URIs into communication channels for Async or Lwt
OCaml ISC License UpdatedAug 19, 2019 -
ocaml-github-hooks Public
Forked from dsheets/ocaml-github-hooksA GitHub web hook listener in OCaml
OCaml ISC License UpdatedAug 18, 2019 -
camlp4-to-ppx Public
Forked from janestreet/camlp4-to-ppxConvert from camlp4 + syntax extensions to regular OCaml + extension points and attributes
OCaml Apache License 2.0 UpdatedAug 6, 2019 -
ocaml-diet Public
Forked from mirage/ocaml-dietA simple implementation of Discrete Interval Encoding Trees
OCaml Other UpdatedJul 18, 2019 -
charrua-core Public
Forked from mirage/charruaA dhcpd implementation in ocaml. (WIP)
OCaml ISC License UpdatedJul 18, 2019 -
-
ocaml-dns Public
Forked from mirage/ocaml-dnsOCaml implementation of the DNS protocol
OCaml ISC License UpdatedJul 15, 2019 -
ethernet Public
Forked from mirage/ethernetEthernet (IEEE 802.3) layer implementation for MirageOS in OCaml
OCaml ISC License UpdatedJul 15, 2019 -
irmin Public
Forked from mirage/irminIrminsule is a distributed filesystem and block store that follows the same design principles as Git
-
ocaml-ipaddr Public
Forked from mirage/ocaml-ipaddrA library for manipulation of IP (and MAC) address representations
OCaml ISC License UpdatedJul 13, 2019 -
datakit Public
Forked from moby/datakitConnect processes into powerful data pipelines with a simple git-like filesystem interface
OCaml Apache License 2.0 UpdatedJul 12, 2019 -
ocaml-win-eventlog Public
Forked from mirage/ocaml-win-eventlogOCaml bindings for the Windows event log
OCaml ISC License UpdatedJul 12, 2019 -
-
mirage-xen Public
Forked from mirage/mirage-xenXen core platform libraries for MirageOS
OCaml ISC License UpdatedJul 6, 2019 -
ocaml-freestanding Public
Forked from mirage/ocaml-solo5Freestanding OCaml runtime
C Other UpdatedJul 5, 2019 -
shonan-143 Public
Shonan #143: Programming Language Support for Data-intensive Applications
-
mirage-block-ramdisk Public
Forked from mirage/mirage-block-ramdiskA simple in-memory BLOCK device
OCaml Other UpdatedJun 26, 2019 -
mirage-platform Public
Forked from mirage/mirage-platformOS platform libraries for Mirage (UNIX and Xen)
-
mirage-profile Public
Forked from mirage/mirage-profileCollect profiling information
OCaml BSD 2-Clause "Simplified" License UpdatedJun 25, 2019 -
ocaml-xenstore-clients Public
Forked from xapi-project/ocaml-xenstore-clientsUnix client tools for accessing xenstore
OCaml Other UpdatedJun 18, 2019 -
mirage-console Public
Forked from mirage/mirage-consolePortable console handling for Mirage applications
OCaml ISC License UpdatedJun 18, 2019 -
mirage-block-xen Public
Forked from mirage/mirage-block-xenClient and server implementations of the xen paravirtualised block driver protocol
Standard ML UpdatedJun 17, 2019 -
stringext Public
Forked from rgrinberg/stringextExtra string functions for OCaml
OCaml MIT License UpdatedJun 2, 2019 -
ocaml-pcap Public
Forked from mirage/ocaml-pcapOcaml code for generating and analysing pcap (packet capture) files
OCaml ISC License UpdatedMay 27, 2019