Block or report user

Popular repositories

  1. ned

    NES rom editor

    Python 2

  2. abella

    Forked from abella-prover/abella

    An interactive theorem prover based on lambda-tree syntax

    OCaml 2

  3. RedBlackTrees

    Red Black Trees in Scala using Zippers

    Scala 1

  4. abella_stuff

    Some stuff about abella

    Vim script 1

0 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

January - October 2017

ClemHout has no activity yet for this period.

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