Block or report user



Popular repositories

  1. metafun

    Compile Haskell-like code into C++ template metaprograms

    Haskell 27 2

  2. alef

    Alef Lazily Evaluates Functions

    Common Lisp 26

  3. tandoori

    Compositional type checking for Haskell

    Haskell 17 3

  4. brainfuck-cpu-fpga

    A CPU that uses Brainfuck as its machine code

    Haskell 10

  5. stlc-agda

    STLC-related snippets in Agda

    10 1

  6. mos6502-kansas-lava

    Kansas Lava implementation of MOS 6502 microprocessor

    Haskell 9 1

179 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

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