Ru Horlick

.dotfiles. My configuration files

mirage-btrees. OCaml

mirage-oram. Final year undergraduate project, that is an implementation of Path ORAM on MirageOS

mirage-block-fs. Inode-based file system built on Mirage's BLOCK interface

sublime-panes. Atom package allowing files to be viewed without opening a new pane, similar to Sublime Text 2

cabal2snack. Generate a snack.nix file from a cabal project

arc-ui. An adaptable, minimalist UI theme for Atom, based on Arc GTK theme

PartIIIProject. Generalised Species of Structures in Homotopy Type Theory Using Agda -- A Part III Dissertation

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

tech-test. My code for the IOHK Technical Test