Explore projects

Yet another LPO/KBO-based termination tool written in Haskell.

Current topics WS2021 group project Backend can be found here: https://git.uibk.ac.at/csaz8448/kg-shapes

Descriptions of Gender in Novels 1770-1922

Bachelor Thesis

Content:

Introduction to Rapid Prototyping using Physical Computing (21/05.2019) RaspberryPI and ESP32 hands on with (Micro)Python (22/05/2019)

elabftw in a docker container