Cache dependencies and build outputs in GitHub Actions
Updated 2024-03-19 14:31:49 +01:00
(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-03-14 15:40:14 +01:00
Testing CI pipelines.
Updated 2023-10-17 21:53:07 +02:00
Updated 2023-10-21 15:27:54 +02:00
Updated 2023-10-21 15:30:10 +02:00
Updated 2023-11-08 14:04:59 +01: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
Lecture Notes for the course taught by Prof. Vargas-Koch at the university of Bonn in winter term 23/24.
Updated 2023-10-18 08:46:34 +02:00
Updated 2024-02-06 15:52:07 +01:00
Updated 2024-02-06 10:57:24 +01:00
Updated 2024-02-06 10:34:06 +01:00
Updated 2023-11-21 16:22:30 +01: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
Some custom LaTeX Packages to write up lecture notes and exercise sheets.
Updated 2023-10-19 13:23:43 +02:00
Builds / deployment of the latex packages.
Updated 2023-10-19 13:24:38 +02:00
Quick template to setup LaTeX repositories with gitlab CI via custom runner
Updated 2023-10-19 18:02:29 +02:00
Updated 2023-10-26 11:11:37 +02:00