Explore projects

Ingredients for conversion of a DCC xml structure to a printable pdf file

HTTP-Server written in Python for validation of xml (e.g. DCC xml) against a XML Schema.

This is a Python module for handling the SI units as objects in Python, parsing them from strings and converting them to Latex and Unicode, as well as performing math operations and calculating scale factors.

Repository to track everything related to my PhD thesis.

This package accompanies my Master's thesis on GUM-compliant neural network robustness verification and provides an implementation using PySCIPOpt.