Block or report user



Popular repositories

  1. geordi

    IRC C++ eval bot

    Haskell 134 23

  2. cxxdraft-htmlgen

    Haskell 13 4

  3. qs-avg

    Proofs of Quicksort's average case complexity

    Verilog 11

  4. GrappleMap

    Grappling technique map

    C++ 10 3

  5. hybrid

    Certified implementation of abstraction-based hybrid system safety prover.

    Coq 4 3

  6. c--grammargraph

    Haskell 1

909 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

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