Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
A command-line tool which provides record and playback functionality for OSC messages
An innovative project management tool for agile Scrum teams that uses and combines emerging technologies including interactive tabletops, wall displays, and mobile devices along with proven desktop…
Configuration files for my development environment
Lecture notes and exercises from Functional Programming (summer term 2012)
LaTeX exercise sheets on steroid.
Seeing something unexpected? Take a look at the
GitHub profile guide.