Discover projects, groups and snippets. Share your projects with others
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.