Explore projects

Median Distance Generalized Learning Vector Quantization is a classification algorithm for distance data where data is represented by prototypes and classification is done by assigning the label of the closest prototype.

Analysis of cost data provided by Copernicus by comparing it to OpenAPC.

The bootloader toolchain for the microcontroller based modules of the Autonomous Mini Robot (AMiRo). It comprises the code for the microcontrollers as well as two according flashing tools and defines a system synchronization protocol (SSSP).

The operating system for the Autonomous Mini Robot (AMiRo). It is based on ChibiOS, but enhances it for more flexible use.

This is a compilation of low-level drivers for the various periphery of the Autonomous Mini Robot (AMiRo) platform.

A lightweight real-time middleware with built-in system failure detection.

A collection of applications and configurations to be used in combination with AMiRo-OS and μRtWare.

An insect navigation toolbox

Record syntax, Lenses, Quickcheck, Dungeon crawler...

Yesod - Web development mit Haskell und Shakespear

Folien und Übungsaufgaben für unsere Vorlesung

Folien der Vorlesung "Fortgeschrittene Funktionale Programmierung in Haskell"

ECCB 2018 Tutorial #13: Modern and scalable tools for efficient analysis of very large metagenomic datasets. Please refer to http://eccb18.org/tutorial-13/ and https://eccb18-metagenomics-tutorial.readthedocs.io for details.