I'll report on some other projects at some point in the future...
hAInrich

A semantic search over the FAQ of our Master's programme in AI and Data Science, running entirely in your browser: MiniLM embeddings through ONNX in WebAssembly, the model in a worker, the embeddings precomputed. FAQ pages tend to fail exactly when you phrase your question differently from the person who wrote the answer, and this fixes that without your question leaving the page. It answers from human-checked text only, so it cannot invent a rule you then rely on.
It came out of Maximilian Overfeld's bachelor's thesis, and I have been carrying it on since.
Wesen

A CoreWars-style game: creatures live on a toroidal grid where food grows, and you write the AI that decides what one of yours does each turn — move, look around, eat, breed, attack, talk to its neighbours. Everyone's AI drops into the same world, and whichever creatures are still alive and holding the most energy at the end wins.
Reimer Backhaus and I started it in 2003. The current version runs on Python 3.10 and needs nothing but uv.
PhD project

My PhD applied homotopy theory to algebraic geometry: motivic cell structures for projective spaces over split quaternions, submitted in 2016. More on the PhD project page.
Theses

I have supervised over 45 bachelor's and master's theses so far, and some titles are on the theses page.