Block or report user
  • University of Gothenburg
  • Göteborg, Sweden

Popular repositories

  1. dante

    Emacs Lisp 73 9

  2. boon

    Ergonomic Command Mode for Emacs

    Emacs Lisp 54 6

  3. styx

    A nix-based Haskell project manager

    Haskell 49 5

  4. nano-Agda

    Tiny type-checker with dependent types

    Haskell 33 6

  5. prettiest

    The Prettiest Printer

    Haskell 7 2

  6. topics

    Various interesting topics I'm looking at

    Haskell 4 1

1,508 contributions in the last year

Jul 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

1 contribution in private repositories Jul 4

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