Explore projects

Example Hugo site using GitLab Pages: https://pages.gitlab.io/hugo

Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"

Abgabe des Mini-Projekts für den Ferienkurs "Bildverarbeitung in Java".

This is public project for the docker containers of the EWA-Lab. It contains the docker images (in the GitLab-registry) that are used by the student projects. The containers are build and deployed in the CI/CD-pipeline of the main project EWA_2.

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

The runtopo Network Simulation Tool

Userscript that automatically accepts the echotest for BBB

This project contains source code samples for compiler techology, in support of Prof. R. C. Moore's "Compiler Costruction" class (FbI, h_da).