(Teilweise) Mitschrift zum CdE-Kurs zu Kurt Goedel, gehalten auf der WinterAka 2024 von Merlin Carl.
Updated 2024-01-04 17:02:08 +01:00
Updated 2024-02-06 10:34:06 +01:00
Updated 2024-02-06 10:57:24 +01:00
Dynamic program to solve Hanabi endgame optimally (assuming people know their cards but not the draw pile)
Updated 2024-06-17 21:11:06 +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
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
Zirkel zum Heiratssatz, gehalten auf dem Camp 2020 für die Klasse 11.
Updated 2023-10-14 18:30:34 +02:00
Simple C++ implementation to find area of union of rectilinear rectangles.
Updated 2023-10-14 18:31:58 +02:00
Python scripts for managing university notes, exercise sheets and course metadata.
Updated 2023-10-14 18:18:22 +02:00
Cache dependencies and build outputs in GitHub Actions
Updated 2024-06-24 10:16:26 +02:00
Updated 2023-10-17 21:28:19 +02:00
Updated 2023-11-21 16:22:30 +01:00
Collection of meta-packages to manage my Arch Linux installation. Highly customized.
Updated 2023-10-14 20:21:41 +02:00
Greasemonkey userscript for card counting at onlinetichu.com
Updated 2023-10-14 18:17:17 +02:00
My xmonad config.
Updated 2023-10-14 20:59:04 +02:00
Python scripts to analyze hanabi instances, providing interfaces to hanab.live, a local game database and analysis tools.
Updated 2024-06-04 00:05:34 +02:00
Updated 2023-10-17 19:28:16 +02:00
Builds / deployment of the latex packages.
Updated 2023-10-19 13:24:38 +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
Testing CI pipelines.
Updated 2023-10-17 21:53:07 +02:00