Explore projects

Compile an OS at boot time using Linux initrd and kexec

Logic Analyzer für SPiCboard Kommunikation

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

Templates for the C++ introduction

Templates for the C++ introduction

Host applications and library for Crazyflie written in Python.

Python library to communicate with Crazyflie

Set of tools including the most important syscall wrappers, library functions and containers for creating a static standalone application (without libc / libstdc++ dependencies).

Dockerfiles to generate Images for CI build & test

original design & software: http://www.poempelfox.de/ds1820tousb/

Repository for the ECRTS 2018 artifact evaluation

Tool to shrink the tailored ELF files to a smaller size

A really lightweight, optimistic & naive parser for the Executable and Linking Format, supporting common GNU extensions.