Block or report user

Organizations

@brownplt @google @plum-umd @nuprl

Popular repositories

  1. rolldice

    Repository for the old rolldice program I wrote back in 1999.

    C 15 9

  2. racket

    Forked from racket/racket

    The Racket repository

    Racket 1 1

  3. lc-tc-interp

    Example typechecker and interpreter for the lambda calculus extended with numeric operations.

    OCaml

  4. metalib

    Forked from plclub/metalib

    The Penn Locally Nameless Metatheory Library

    Coq

  5. pentago

    http://en.wikipedia.org/wiki/Pentago

    Ruby

  6. ctrl-w

    Forked from badconker/ctrl-w

    Userscript pour le jeu web Mush (mush.vg)

    JavaScript

98 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January 2018

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