The Git repositories that were previously served from this place have been moved to GitHub or taken off-line.
For some repositories, URL re-writing is in place to keep existing reverse links working.
However, if you miss a specific repository or have trouble finding it elsewhere please drop me a mail.

Sorry for the inconvenience, Sebastian