Block or report user

Popular repositories

  1. rggraph

    Forked from mkompan/rggraph

    Haskell 1

  2. illumos-gate

    Forked from illumos/illumos-gate

    Community developed and maintained version of the OS/Net consolidation

    C 1

  3. linux

    Forked from svenkatr/linux

    Mirror of Linus Torvald's Kernel Tree

    C 1

  4. u-boot

    Forked from joelagnel/u-boot

    Tom Rini's U-Boot trees

    C 1

  5. emacs-kicker

    Forked from dimitri/emacs-kicker

    A minimal kick start init file for emacs

    Emacs Lisp 1

  6. tinymisc

    Forked from xplat/tinymisc

    miscellaneous stuff related to TinyAgda


13 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

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