1. Xen MiniosReally mini operating system (extracted from xen-unstable, and much stuff removed)
5. Ocaml Print IntfPretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
6. mplSpecification compiler to marshal/unmarshal binary protocols in OCaml
7. ocaml-orm-sqliteDevelopment repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods for databases
9. melangeFast, statically type-safe OCaml network applications (e.g. DNS/SSH)
12. mirage-ciContinuous Integration for MirageOS using DataKit's git workflow
13. ocaml-annotOCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)