Explore projects

Configurations for building and running the DataSov framework inside Docker containers.

Package for de- and encoding pyeKVS from/to python dict

Conversion of MDBW data from GraphDesigner-Excel to RDF

An extension of Construct2d code to improve compatibility with IWES-CFSD toolchain.

Open repository for the Leuze Laser Scanner RSL 400 series ROS drivers.

Qt Base (Core, Gui, Widgets, Network, ...)

Here we perform a hybrid, Grover based optimization to find the single network parameter change that leads to the largest reduction of the critical failure probability in a cascading network

ProVerif formal models for the (modified) EKEP attestation protocol. Forked from https://github.com/google/ekep-analysis/.

Create a dataset to train a lane detection neural network with CARLA