Highlights
- Pro
-
-
-
vue-cal Public
Forked from antoniandre/vue-calA Vue JS full calendar, no dependency, no BS. 🤘
-
IsabelleTimingFunctions Public
The goal of the bachelor thesis is to extend the Proof Assistant Isabelle by the automatic generation of runtime functions.
-
dmarc-visualizer Public
Forked from debricked/dmarc-visualizerAnalyse and visualize DMARC results using open-source tools
Dockerfile Apache License 2.0 UpdatedMar 29, 2025 -
-
poly-reductions Public
Forked from rosskopfs/poly-reductionsPolynomial-time reductions in Isabelle/HOL
Isabelle UpdatedJan 22, 2025 -
idp-urbs Public
Forked from tum-ens/urbsA linear optimisation model for distributed energy systems
Python GNU General Public License v3.0 UpdatedJan 21, 2025 -
tum_video_scraper Public
Forked from Valentin-Metz/tum_video_scraperDownload and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/
Python UpdatedDec 17, 2024 -
-
-
-
Hackatum2023-Namerator Public
We try tackling one of the hardest problems in modern programming: Proper naming of variables
-
BachelorThesis Public
Forked from TUM-Dev/tum-thesis-latexAutomatic Definition of Running Time Functions
TeX UpdatedFeb 19, 2024 -
-
-
Pendulum Public
Made for visualization of the forces of a pendulum. Connects Arduino attached to the pendulum and a gyrosensor via Wi-Fi to the Java Application.
Java UpdatedOct 24, 2022 -
-