Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
random programming stuff
my current dotfiles
Sync between CouchDB and MySQL
Extract soccer results from the web
Forked from automerge/automerge
A JSON-like data structure that can be modified concurrently by different users, and merged again automatically.
Forked from papers-we-love/papers-we-love
Papers from the computer science community to read and discuss.
Seeing something unexpected? Take a look at the
GitHub profile guide.