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.
Python script to shorten URLs via goo.gl
simple irc bot written in python
Calc the time of an event
Forked from jeffery/Jira-cards-printing
Print Jira stories in your own formatted way
Analysis Formelsammlung basierend auf dem Schulstoff der Hochschule für Technik Rapperswil (HSR)
Forked from pneff/wsgiservice
Python WSGI framework to create REST web services
Seeing something unexpected? Take a look at the
GitHub profile guide.