Block or report user



Popular repositories

  1. rdiscount

    Discount (For Ruby) Implementation of John Gruber's Markdown

    763 C

  2. Python-in-Mac-App-Store

    Barebones Python app that can be submitted to the Mac App Store.

    34 Shell

  3. YouTube-iTunes-Sync

    Syncs a YouTube music playlist with iTunes.

    5 Python

  4. dotfiles

    My command line customizations for OS X.

    4 Python

  5. idris-insertion-sort

    Provably correct implementation of insertion sort in Idris.

    4 Idris

  6. Crystal-Web-Archiver

    Downloads websites for archival.

    3 Python

200 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2016

Created 3 commits in 2 repositories

python/mypy 2 commits
python/typeshed 1 commit

Created 1 repository

Created a pull request in python/mypy that received 42 comments

[needs tests] TypedDict: Recognize declaration of TypedDict('Point', {'x': int, 'y': int}).

The automated tests in this PR still need work but the feature implementation should be good. How to test locally Add davidfstr/mypy remote $ pwd…

42 comments +227 −16

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