During my time at TUM, I severed as administrator of CORA. My work includes harmonizing functionality across all classes, ensure reliability through extensive testing, and better visualization.
Website: https://cora.in.tum.de/
The following page shows some of my Android apps that I have developed.
Website: https://toladner.github.io/p/apps/
A LaTeX package designed to assist scientific paper writing in the field of formal neural network verification. It also includes some helpful features to create beautiful figures and animations in LaTeX.
Website: https://ctan.org/tex-archive/macros/latex/contrib/cora-macs
With the shift to renewable energy, my parents decided to install some solar panels of their roof. As data visualization of providers was ... improvable ..., I aggregated the data and displayed it in nice figures.
Website: https://toladner.github.io/photovoltaik-sonnenkogel (private)
A website providing charts for the coronavirus pandemic in Austria. The data was updated daily.
Website: coronavirus-in-austria.appspot.com (inactive)
The website of the apartment of my parents in Galtür.
Website: haus-sonnenkogel.appspot.com
The ORF Teletext is a fast and compact news source. Unfortunately, it has an old-fashioned design and does not offer a nice reading experience. This website processes the information from the ORF Teletext and displays it in a readable format.
Website: better-teletext.appspot.com (in German)
