Block or report user
  • San Francisco, CA

Popular repositories

  1. vivado_benchmarks

    C++ 1

  2. timing_sims


  3. spacemacs-coq

    Forked from olivierverdier/spacemacs-coq

    A very simple coq layer for spacemacs

    Emacs Lisp

  4. monad-classes

    Forked from feuerbach/monad-classes

    A more flexible mtl


  5. cereal

    Forked from GaloisInc/cereal


313 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

32 contributions in private repositories May 3 – May 21

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