Block or report user

Pinned repositories

  1. duck

    Dynamic Universal Software System Visualization Kit(DUCK)

    JavaScript 3 2

  2. ndns

    Forked from named-data/ndns

    NDNS: Domain Name Service for Named Data Networking

    C++ 2

  3. Halls

    ACM code template

    C++ 1

  4. TrustCoq

    Formal Verification on NDN trust schema

    Coq

  5. emacs.d

    Forked from redguardtoo/emacs.d

    cloned from binchen's config. Huge thx to his efforts!

    Emacs Lisp 3

114 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April 2018

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