Explore projects

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.