Block or report user

Popular repositories

  1. needle

    Needle code generator

    Haskell 4

  2. gdtc

    Coq 2 1

  3. language-coq

    A pretty-printing solution for the Coq proof assistant language

    Haskell 2

  4. wellbound


  5. svm-simple

    Forked from aleator/Simple-SVM

    Simplified interface to bindings-svm

    Haskell 1

  6. inbound

    Haskell 1

154 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

March - April 2018

skeuchel has no activity yet for this period.

February 2018

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