Block or report user

Pinned repositories

  1. dotfiles

    configurations and the like

    Shell 6


    a boring personal website

    PHP 3 1

  3. tutorials

    a set of introductory tutorials for different aspects of modern computer systems... n'stuff

  4. make-gif

    featureful zsh script frontend to ffmpeg for creating gifs

    Shell 1

193 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

June 2017

Seeing something unexpected? Take a look at the GitHub profile guide.