Explore projects

c_cpp_properties.json file for Contiki+Inga workspace in VScode

Python Utils for the SoCG 2020 CGSHOP Competition. It provides simple reading/writing tools for instances and solutions as well as checker. This library is also used internally by us in the server.

SGX highlighting for VSCode

VSCode Theme

An XML-based approach to create WordPress posts for all BJCP styles

My latex magic for paper writing. I try to add idiot proof support for most systems.

pinnacle of operating systems engineering

The GUI to configure and display measurement data from a PotatoScope.

The GUI to configure and display measurement data from a PotatoScope.

The CLI for the potatoscope.

Comparison of different c linters and their usability for ds group causes. (Operating Systems)

Basic structure of tex files to write a proposal and thesis.

A RIOT OS fork with integration for INGA.