chluebi

FerrisBot

Personal Discord Bot for messing around

Mathebericht

prooftrees

5eCollector

5eCommander

5eCollector v2?

AdventOfCode2021

AnDImplementations

Australia.txt

A text RPG made for the 2022 D-INFK game jam

Bedeutung-der-Sprache

Github Repo für meinen Kurzbericht

blolleyball

chluebi.github.io

SimpleCombat

website

A fresh attempt at a personal website.

anonymous-surveys

making (vaguely) anonymous online surveys from scratch

Bio-Teich-Bericht

blog

BotCoup

CommentGuesser

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.

GameOfAmazonsDiscordBot

lambda-calculus

pendulum-simulation

A simple website for pendulum simulation

polyring

Webring for current or past members of ETH Zurich 🚀

Predator-and-Prey

rem2

rem3

RPGBot

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.

tts-through-mic

Attempt to make a quick utility software which allows me to pipe TTS into a virtual microphone