(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
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
Cache dependencies and build outputs in GitHub Actions
Updated 2024-03-19 14:31:49 +01: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
Updated 2023-10-21 15:27:54 +02:00
PKGBUILD for https://git.abstractnonsen.se/Max/university-setup
Updated 2023-10-20 14:49:14 +02:00
Custom archiso, i.e. installation medium for my arch installs.
Updated 2023-10-21 00:11:26 +02: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
Zirkel zur Kategorientheorie, gehalten auf dem Camp 2020 für die Oberstufe.
Updated 2023-10-14 18:30:34 +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
Updated 2023-10-17 21:28:19 +02:00
Forked from https://github.com/WuTheFWasThat/hanabi.rs.
Updated 2023-11-21 16:22:30 +01:00