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 RPN calculator with some useful features and an extremely clever name.
A (marginally) more useful shell command history.
Literate-style documentation generator.
A program specification language with a formal syntax and ad-hoc semantics.
Seeing something unexpected? Take a look at the
GitHub profile guide.