Explore projects

Darmstadt Launch Alliance - Rocket Science @h_da

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

Userscript that automatically accepts the echotest for BBB

https://stream-server.h-da.io/

HTML docemntation of the eUCRITE API site using GitLab Pages

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

Tamarin models and security proofs for the paper "Integrating Privacy into the Electric Vehicle Charging Architecture"

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.

Main repository of the AI at the edge project

Common Code that is used in the Version 2.0 of the Pi-Lab Management System. (i.e. inside the microservices and bootloader)

A certmagic.Storage implementation using Ceph's RADOS object store

CI/CD Pipelines for GitlabCI/CD and Jenkins