Cambridge, UK

Anil Madhavapeddy

Elite
@avsm

Professor of Planetary Computing, University of Cambridge

xen-minios. Really mini operating system (extracted from xen-unstable, and much stuff removed)

191

docker-ssh-agent-forward. Forward SSH agent socket into a container

137

ipc-bench. Latency benchmarks of Unix IPC mechanisms

102

ocaml-yaml. OCaml interface to the YAML 1.1 spec

81

ocaml-lens. Private extraction of astrada's lens library

66

melange. Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)

57

ocaml-print-intf. Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form

43

ocaml-annot. OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)

37

hello-world-action-ocaml. Example use of GitHub Actions with OCaml

35

eeww. Experimental effects-based wonderful webserver

25

docker-opam. Docker container for an OCaml + OPAM setup

24

signpost. Infrastructure for personal VPNs

23

platform. Experimental vendoring of Platform tools

22

mirage-ci. Continuous Integration for MirageOS using DataKit's git workflow

20

ocaml-orm-sqlite. Development repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods for databases

20

mirage-from-basics. Another way to describe mirage

19

ocaml-devcontainers. VSCode devcontainers for OCaml

17

vagrant-opam. Vagrant + OPAM/OCaml

15

shonan-143. Shonan #143: Programming Language Support for Data-intensive Applications

15

opam-boot. Bootstrap scripts to build standalone OPAM projects

15

dopam. Run OPAM under Docker

13

ocaml-ssh. SSHv2 library, client and server implementation in OCaml

13

ocaml-abnf. Experiments in LLVM parsing of ABNF

12

EpiVM. Epic - a Supercombinator Compiler

11

ocaml-git-old. Git wrapper for OCaml

10

ocaml-iperf. OCaml implementation of the IPerfv3 protocol

9

jekyll-format. OCaml parser for Jekyll-format blog posts

8

ocaml-workflow. Persistent workflows for Lwt/OCaml

8
28
Apply