Block or report user



Popular repositories

  1. topgit

    TopGit - A different patch queue manager

    88 Shell

  2. taskwarrior-mode

    Emacs support for Taskwarrior

    6 Emacs Lisp

  3. stet

    Archive of

    3 HTML

  4. sbt-autodeps

    Generates sbt dependencies from packages

    2 Scala

  5. exherbo-misc

    Forked from SuperHeron/exherbo-misc

    Custom exhereses for Exherbo

    1 Shell

  6. Coq-Equations

    Forked from mattam82/Coq-Equations

    A plugin for Coq to add dependent pattern-matching.

    1 OCaml

162 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

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