Block or report user
  • Joined on Jan 3, 2011



Popular repositories

  1. homebrew

    Forked from Homebrew/legacy-homebrew

    The missing package manager for OS X.

    1 Ruby

  2. hott-reading-group

    0 Agda

  3. bets


4 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

July - October 2016

midfield has no activity yet for this period.

June 2016

midfield created their first repository!

First repository

hott-reading-group Created on

Created 1 other repository

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