Block or report user

Organizations

@joyent

Popular repositories

  1. manage-ldap

    A collection of scripts to help manage users and groups in LDAP

    Python 8 6

  2. roguelike

    A simple roguelike engine and game, originally made for CS195N.

    Java 5

  3. dotfiles

    My configurations

    VimL 1 1

  4. course-latex

    TeX 1 1

  5. rash

    A Racket Shell

  6. atomicity

    This is a formalization of the paper "Types for Atomicity" by Flanagan and Qadeer

    Coq

252 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

January 2017

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