Block or report user
Developer Program Member

Organizations

@sipb @HackMIT @codeforgoodmit @labsix @mit-pdos

Pinned repositories

  1. git-remote-dropbox

    A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! ๐ŸŽ

    Python 2.2k 91

  2. lumen

    Magic auto brightness based on screen contents ๐Ÿ’ก

    Objective-C 2k 46

  3. neural-style

    Neural style in TensorFlow! ๐ŸŽจ

    Python 3.5k 1k

  4. dotbot

    A tool that bootstraps your dotfiles โšก๏ธ

    Python 1.5k 95

  5. gavel

    A project expo judging system ๐Ÿ“Š

    Python 208 77

  6. seashells

    The official client for Seashells.io ๐Ÿš

    Python 385 7

1,807 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2018

Created an issue in coq/coq that received 1 comment

Ltac match on `{x & ?P}` fails to parse

Version Coq 8.7.1 Operating system macOS 10.13.2 (High Sierra) Description of the problem An Ltac match on {x & ?P} fails to parse. This issue is dโ€ฆ

1 comment
70 contributions in private repositories Feb 1 โ€“ Feb 16

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