Block or report user



Popular repositories

  1. evil-god-state

    36 Emacs Lisp

  2. pyGravatar

    A python module for interacting with Gravatar

    6 Python

  3. located-base

    6 HTML

  4. fluidinfo.rb

    Fluidinfo in Ruby!

    5 Ruby

  5. CRL

    The Component Retrieval Language: Simplifying Complex Software Assembly

    4 Perl

  6. dotfiles

    4 Shell

393 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

September 2016

gridaphobe has no activity yet for this period.

August 2016

Created 6 commits in 1 repository

ucsd-progsys/liquidhaskell 6 commits
Created a pull request in ucsd-progsys/liquidhaskell that received 3 comments

disable lhi for now

it's incomplete and breaks windows support by using unix. partial fix for #806

3 comments +56 −48

Opened 1 other pull request

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