RoboFish Track Format
Software Project 'Sancus'
Low-Cost Security Architecture for IoT Devices
A modified version of OpenMPI that makes it possible to swap/permutate ranks of OMPI-processes inside the same job using an external agent connected via Unix domain sockets.
CI server configuration for RIOT build system.
Patched PAPI for use in Cluster Computing on Sparc64 Linux
A fork of the openwrt project.
In scope of Operating Systems WS2122 we, Fabian Jezuita and Paul Weiß, trapped a witty octopOS in a virtual portux armv4 computer to manage resources and, depending on "it", also other stuff.
No cephalopods were harmed in the making of this.