Tool to visualize and find edge flip sequences in plane graphs, particularly paths.
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.
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
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.
Square-in-circle interval arithmetic proofs.
Interval Arithmetic Prover Framework.