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 2023-09-07 22:31:19 +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
Python scripts to analyze hanabi instances, providing interfaces to hanab.live, a local game database and analysis tools.
Updated 2023-11-23 12:34:53 +01: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
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
Dynamic program to solve Hanabi endgame optimally (assuming people know their cards but not the draw pile)
Updated 2023-11-20 20:05:03 +01: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
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