Projects

Currently, I haven't found the time to describe the projects I work on here. This page can thus be considered work-in-progress. (FIXME: Is it a good idea to write things like that on the web pages?)