Explore projects

Square-in-circle interval arithmetic proofs.

Rust C++ interop

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.