The Wayback Machine - https://web.archive.org/web/20201123085310/https://github.com/ruhatch
Skip to content
Avatar
  • Block or report user

    Block or report ruhatch

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
25 followers · 0 following · 10

Highlights

  • Arctic Code Vault Contributor

Pinned

  1. PartIIIProject

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

    TeX

  2. dissertation

    Part II project dissertation and other formal documentation

    TeX

  3. mirage-oram

    Final year undergraduate project, that is an implementation of Path ORAM on MirageOS

    OCaml 7 1

  4. .dotfiles

    My configuration files

    Emacs Lisp 20 3

  5. arc-ui

    Forked from atom-community/ui-theme-template

    An adaptable, minimalist UI theme for Atom, based on Arc GTK theme

    CSS 2

  6. agentm/project-m36

    Project: M36 Relational Algebra Engine

    Haskell 678 42

130 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

November 2020

Created 2 commits in 1 repository
You can’t perform that action at this time.