Explore projects

This repository is an exercise for the StEP 2020 Git/LaTeX Workshop.

Fork this repository and take a look at sheet01.tex After editing the file, you can commit changes to your fork of this project.

The main idea is to develop an app that helps user understand a product much more easily. The aim is to provide the user as much details about the product as possible like details on nutrition values, allergens present, discounts on the products etc.

This is Vera Miroschnitschenko's Interactive Systems (Summer 2020) projekt. The endgoal is a card based ChooseYourOwnAdventure story enhanced by Augmented Reality elements.

This is Vera Miroschnitschenko's Interactive Systems (Summer 2020) projekt. The endgoal is a card based ChooseYourOwnAdventure story enhanced by Augmented Reality elements.

A Decision Transformer trained on datasets of the racetrack environment.

This is a project for the seminar: Neuro-Symbolic Reinforcement Learning

Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.

NNTI-condor-template