Explore projects

This repository contains material for students that are starting with Knowledge Graphs.

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.