Cache dependencies and build outputs in GitHub Actions
Updated 2023-09-07 22:31:19 +02:00
Mirror of https://github.com/actions/checkout
Updated 2022-04-21 16:29:04 +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 2023-11-20 20:05:03 +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 2023-12-04 15:09:07 +01:00
Forked from https://github.com/WuTheFWasThat/hanabi.rs.
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
templates / lecture-notes
Template
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
Regelwerk für den Matboj, der seit 2021 jährlich auf dem Camp stattfindet.
Updated 2023-10-14 18:28:32 +02:00
Custom archiso, i.e. installation medium for my arch installs.
Updated 2023-10-21 00:11:26 +02:00
Collection of meta-packages to manage my Arch Linux installation. Highly customized.
Updated 2023-10-14 20:21:41 +02:00