Explore projects

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

A system to allow users to easily maintain, distribute, and switch between different HOME environments.

A tool performing AC-completion for left-linear TRSs written in Haskell.

mC Compiler Getting Started Code-Base

mC Compiler Getting Started Code-Base

Repository for the Semantic Web project

Exercises for the high-performance-computing course

elabftw in a docker container

A project to abstract from the git-backup-helper and eremi-backup-helper.

[Moved by Admin on 2021-08-18]

mC Compiler Getting Started Code-Base