Explore projects

Central Configuration for CI/CD pipelines of SOAR4IoT

https://git.uni-regensburg.de/fids/ml_for_beginners

CSS-Anpassungen, beispielsweise für GRIPS. https://pfc23283.git-pages.uni-regensburg.de/ur-css-anpassungen/grips/style.css

This is a small RAG-based QA-Chatbot used for QA on a paper corpus

This is the Lean project contained in my master's thesis `Computability and L^2-Betti numbers' For installation guidelines, see installation-guidelines.txt