Explore projects

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

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

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

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

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

Interval Arithmetic Prover Framework.

Square-in-circle interval arithmetic proofs.

Rust C++ interop

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.