Our research group performs applied research. That is to say, among other things, we code, and we code with the goal of developing not just research prototypes but usable software. Naturally, much of it will be open source software. In these pages, you will find the documentation of some of our open source projects. Sometimes, it is only links, because our projects are either directly hosted on Github or mirrored to it.