Testing CI pipelines.
Updated 2023-10-17 21:53:07 +02:00
Zirkel zum Heiratssatz, gehalten auf dem Camp 2020 für die Klasse 11.
Updated 2023-10-14 18:30:34 +02:00
Zirkel zur Kategorientheorie, gehalten auf dem Camp 2020 für die Oberstufe.
Updated 2023-10-14 18:30:34 +02:00
Zirkel zur kombinatorischen Spieltheorie, gehalten auf dem Camp 2022 sowie teilweise 2023 für die Oberstufe.
Updated 2023-10-14 18:30:34 +02:00
Zirkel zu Zwergenrätseln, gehalten auf dem Camp 2022 in Klasse 6. Unvollständig.
Updated 2023-10-16 18:37:24 +02:00
Regelwerk für den Matboj, der seit 2021 jährlich auf dem Camp stattfindet.
Updated 2023-10-14 18:28:32 +02:00
Dynamic program to solve Hanabi endgame optimally (assuming people know their cards but not the draw pile)
Updated 2024-03-17 11:16:14 +01:00
Python scripts to analyze hanabi instances, providing interfaces to hanab.live, a local game database and analysis tools.
Updated 2024-03-19 15:00:03 +01:00
Python scripts for managing university notes, exercise sheets and course metadata.
Updated 2023-10-14 18:18:22 +02:00
Greasemonkey userscript for card counting at onlinetichu.com
Updated 2023-10-14 18:17:17 +02:00
Decode and encode TOTP QR-codes to/from json easily.
Updated 2023-10-14 18:19:03 +02:00
Simple C++ implementation to find area of union of rectilinear rectangles.
Updated 2023-10-14 18:31:58 +02:00
Collection of meta-packages to manage my Arch Linux installation. Highly customized.
Updated 2023-10-14 20:21:41 +02:00
Custom archiso, i.e. installation medium for my arch installs.
Updated 2023-10-21 00:11:26 +02:00
My xmonad config.
Updated 2023-10-14 20:59:04 +02:00
My xmonad setup. Split up into multiple files to simplify the main xmonad.hs config file
Updated 2023-10-14 20:46:14 +02:00
Updated 2024-05-13 15:46:46 +02:00
Updated 2023-10-17 21:28:19 +02:00
Updated 2023-10-17 19:28:16 +02:00