Professor of Planetary Computing, University of Cambridge
xen-minios. Really mini operating system (extracted from xen-unstable, and much stuff removed)
191docker-ssh-agent-forward. Forward SSH agent socket into a container
137ipc-bench. Latency benchmarks of Unix IPC mechanisms
102ocaml-yaml. OCaml interface to the YAML 1.1 spec
81ocaml-lens. Private extraction of astrada's lens library
66melange. Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)
57ocaml-print-intf. Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
43ocaml-annot. OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
37hello-world-action-ocaml. Example use of GitHub Actions with OCaml
35eeww. Experimental effects-based wonderful webserver
25docker-opam. Docker container for an OCaml + OPAM setup
24signpost. Infrastructure for personal VPNs
23platform. Experimental vendoring of Platform tools
22mirage-ci. Continuous Integration for MirageOS using DataKit's git workflow
20ocaml-orm-sqlite. Development repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods for databases
20mirage-from-basics. Another way to describe mirage
19ocaml-devcontainers. VSCode devcontainers for OCaml
17vagrant-opam. Vagrant + OPAM/OCaml
15shonan-143. Shonan #143: Programming Language Support for Data-intensive Applications
15opam-boot. Bootstrap scripts to build standalone OPAM projects
15dopam. Run OPAM under Docker
13ocaml-ssh. SSHv2 library, client and server implementation in OCaml
13ocaml-abnf. Experiments in LLVM parsing of ABNF
12EpiVM. Epic - a Supercombinator Compiler
11ocaml-git-old. Git wrapper for OCaml
10ocaml-iperf. OCaml implementation of the IPerfv3 protocol
9jekyll-format. OCaml parser for Jekyll-format blog posts
8ocaml-workflow. Persistent workflows for Lwt/OCaml
8