Explore projects

Implementation of Unet using keras

tex files for bst summary SS16

see http://objekte-im-netz.fau.de/projekt

Command line tool that validates IRIs.

Scraping meinCampus for changed grades

Dateien zur Besprechung der Aufgaben in der Vorlesung Systemprogrammierung 1 im SS 2020.

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"