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

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

All my Language-Tools in one place