Explore projects

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.

Interval Arithmetic Prover Framework.

Square-in-circle interval arithmetic proofs.

Rust C++ interop

Code and Material for the Angular Freeze Tag Chapter in the Dissertation Algorithm Engineering for Hard Problems in Computational Geometry.

Example of an embedded WAMR runtime in an SGX-enclave and using the export native API to allow inter module/enclave communications

This is a version of the SimpleEnclave example from the Intel SGX SDK with CMake instead of Makefiles

Public repository for the Algorithm Engineering course by Phillip Keldenich and Dominik Krupke (Summer Term 2022) at TU Braunschweig.

Initial repo for the utilities for CG:SHOP 23. Now on GitHub.