Explore projects

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

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

ROS scripts for collecting demonstrations with the Franka Emika Panda

Exploring and learning about antisocial cognitions by measuring the predictive power of different personality traits and other mental health characteristics on the selected target in the Scrambled Sentences Task.

A wrapper around awk to perform frequency analysis on input streams, text files, etc. Text output.

Course material for a ~12 hours introductionary course to Julia. Topics: Introduction, Data Science, Parallel Programming