Block or report user
  • Joined on Nov 2, 2008



Popular repositories

  1. dpg

    Forked from dylan-lang/dylan-programming-book

    Dylan Programming Guide, a book about Dylan.

    Python 1

  2. cormanlisp

    Forked from sharplispers/cormanlisp

    Corman Lisp

    Common Lisp

  3. orp

    Forked from ProjectVault/orp


  4. l4v

    Forked from seL4/l4v

    seL4 specification and proofs


  5. seL4

    Forked from seL4/seL4

    The seL4 microkernel


  6. OpenHT

    Forked from TonyBrewer/OpenHT

    Hybrid Threading Tool Set


1 contribution in the last year

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

Contribution activity First issue Joined GitHub

February - December 2016

dnm has no activity yet for this period.

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