Pinned Repositories
5eCollector
5eCommander
5eCollector v2?
AdventOfCode2021
AnDImplementations
FerrisBot
Personal Discord Bot for messing around
Mathebericht
prooftrees
SimpleCombat
Stadt-Land-Fluss-Bot
Discord bot which plays the game of Stadt, Land, Fluss.
website
A fresh attempt at a personal website.
chluebi's Repositories
chluebi/FerrisBot
Personal Discord Bot for messing around
chluebi/Mathebericht
chluebi/prooftrees
chluebi/5eCollector
chluebi/5eCommander
5eCollector v2?
chluebi/AdventOfCode2021
chluebi/AnDImplementations
chluebi/Australia.txt
A text RPG made for the 2022 D-INFK game jam
chluebi/Bedeutung-der-Sprache
Github Repo für meinen Kurzbericht
chluebi/blolleyball
chluebi/chluebi.github.io
chluebi/SimpleCombat
chluebi/website
A fresh attempt at a personal website.
chluebi/anonymous-surveys
making (vaguely) anonymous online surveys from scratch
chluebi/Bio-Teich-Bericht
chluebi/blog
chluebi/BotCoup
chluebi/CommentGuesser
chluebi/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.
chluebi/GameOfAmazonsDiscordBot
chluebi/lambda-calculus
chluebi/pendulum-simulation
A simple website for pendulum simulation
chluebi/polyring
Webring for current or past members of ETH Zurich 🚀
chluebi/Predator-and-Prey
chluebi/rem2
chluebi/rem3
chluebi/RPGBot
chluebi/timerbot
A small-scaled bot with which you can set up reminders for you and other Discord users
chluebi/timetable-downloader
A short side project that downloads my timetable and sends it to me via Discord.
chluebi/tts-through-mic
Attempt to make a quick utility software which allows me to pipe TTS into a virtual microphone