chluebi's repositories
5eCommander
5eCollector v2?
website
A fresh attempt at a personal website.
tts-through-mic
Attempt to make a quick utility software which allows me to pipe TTS into a virtual microphone
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
polyring
Webring for current or past members of ETH Zurich 🚀
anonymous-surveys
making (vaguely) anonymous online surveys from scratch
Australia.txt
A text RPG made for the 2022 D-INFK game jam
pendulum-simulation
A simple website for pendulum simulation
Bedeutung-der-Sprache
Github Repo für meinen Kurzbericht
timerbot
A small-scaled bot with which you can set up reminders for you and other Discord users
timetable-downloader
A short side project that downloads my timetable and sends it to me via Discord.