Explore projects

Nvidia Jetson Nano with Ubuntu 20.04 Image. Pre-installed: ROS Neotic Sphero RVR Base ROS Lynxmotion 4DoF ARM + Gripper: C library and ROS support

Current topics WS2021 group project

Exudyn - Adapted Genetic Optimization

Yet another maximal completion tool written in Haskell.

Yet another completion tool written in Haskell.

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

Git Project for my bachelor thesis about Sprouts. For any questions please refer to the readme file.