Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
RustyHermit: A Rust-based, lightweight unikernel
-
Conversion tool from CIM to Modelica Power Grid Models e.g. based on the ModPowerSystems package
-
-
-
Optimierung B: 1. Programmieraufgabe -> 23.11. 14:00
-
The project handles the language strings within Coscine.
-
RWTH Color definitions in different formats
-
Vue template handling the creation of coscine user sub projects.
-
-
-
Jupyter Notebooks für das Praktikum Technische Informatik
-
-
-
A python library for checking satisfiability and definability in a logic of functional dependence, as part of my bachelor thesis. Interfaces to the Microsoft Z3 Theorem Prover.
-
-
