pyMOR - Model Order Reduction with Python

All our docker images are built from here

SecDoc-WWU - Verzeichnis von Verarbeitungstätigkeiten (VVT)

This project integrates the github repository to gitlab to use the runner.

Analysis tool for hybrid Petri nets with general transitions.

Some notes from the journey of understanding the Atiyah–Singer Theorem.