Block or report user

Popular repositories

  1. liquid-types.el

    LiquidHaskell type popup for Emacs.

    Emacs Lisp 3 4

  2. emacs.d

    Literally my life.

    Emacs Lisp 3

  3. flycheck-liquidhs.el

    Flycheck checker for LiquidHaskell

    Emacs Lisp 3 5

  4. tiger

    Modern Compiler Implementation in ML

    Standard ML 3 1

  5. software-foundations

    Learning formal verification.

    Coq 2

  6. 99problems

    Scala 2

2,908 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

36 contributions in private repositories Jul 2 – Jul 26

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