Updated 2022-01-05 23:22:12 +01:00
just axolotl stuff
Updated 2022-05-11 12:55:23 +02:00
Slides from various lectures
Updated 2022-04-01 00:13:56 +02:00
collection of discord bots/tools
Updated 2022-04-04 19:35:41 +02:00