Block or report user



Popular repositories

  1. smallScheme

    A nanopass compiler written for a (substantial) subset of Scheme.

    Scheme 5 2

  2. chapel

    Forked from chapel-lang/chapel

    a Productive Parallel Programming Language

    C 1

  3. subdatatype-deriving

    Tooling around seeing if there's a way to "extend" ADTs in Haskell

    TeX 1



  5. monokai-emacs

    Forked from oneKelvinSmith/monokai-emacs

    Emacs Lisp

  6. agda-cryptol

    An embedding of Cryptol in Agda


1,035 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

14 contributions in private repositories Jun 2 – Jun 23

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