https://anil.recoil.org/notes/codio-now-has-opam-support
Codio: build Mirage unikernels from a browser | Anil Madhavapeddy
Mar 26, 2014 - Build Mirage unikernels from a browser with Codio's OPAM support and interactive Ubuntu shell.
anil madhavapeddybuildmirageunikernelsbrowser
https://anil.recoil.org/ideas/git-maildir
A strongly consistent index for email using git and MirageOS | Anil Madhavapeddy
Jan 1, 2019 - A strongly consistent index for email using git and MirageOS
strongly consistentanil madhavapeddyindexemailusing