{{{1}}}
This page is still largely in progress.
This is a list of code we make available with no guarantee, beside the one that it did once work for its intended purpose.
Beware, version below one (e.g., v°0.1) are $\beta$-version. It might be that's all you find here.
We use Paul Grinberg's Code extension for Mediawiki to pretty-print source through GeSHi on our web.