GitHub repository: ruhatch/mirage-oram
Primary language: OCaml
Description: Final year undergraduate project, that is an implementation of Path ORAM on MirageOS