Block or report user



Popular repositories

  1. kure

    Combinators for rewriting arbitrary syntax trees that have scoping

    Haskell 5 2

  2. checkit

    Kit for building QuickCheck like testing tools.

    Haskell 4

  3. io-reactive

    An implementation of the reactivity model used in O'Haskell and TIMBER

    Haskell 3 2

  4. httpd-shed

    A simple websever with an interact style API

    Haskell 3 3

  5. er-systemf

    An implementation of System-F, and combinators for rewriting it.

    Haskell 3

  6. offline-functions

    Offline functions is a TeX library for calling offline procedures from within Tex (and LaTeX) code.


588 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

43 contributions in private repositories May 8 – May 22

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