Block or report user

Popular repositories

  1. sketch-n-sketch

    Direct Manipulation Programming for SVG

    Elm 336 25

  2. djs

    Dependent JavaScript: A Typed Dialect

    OCaml 65 1

  3. late-types

    Late Typing

    OCaml 2

  4. repro-in-cs

    Forked from shriram/repro-in-cs

    Tracking Responses to the "Reproducibility in Computer Science" Repository (

    TeX 1

  5. algorithmic-software-verification

    Forked from UCSD-PL/algorithmic-software-verification

    Course Materials for Graduate Class on Algorithmic Software Verification

  6. ucsddissertation

    Forked from stevecheckoway/ucsddissertation

    LaTeX class file for writing dissertations at UC San Diego

249 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

November 2017

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