Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A Hindley-Milner polymorphic typing system
A library for program induction and learning representations.
The complete command-line tool for GitHub-flavored markdown
Generate argument parsing logic in C from a simple config
my arch/parabola/mac configuration (with vim, xmonad, git, etc)
Seeing something unexpected? Take a look at the
GitHub profile guide.