Repositories Users Organizations
Filter
Sort
max-notes/ representation-theory-1
TeX 0 0
Updated 2025-05-16 11:58:18 +02:00
testorg/ git-test
0 0
Updated 2025-04-27 19:04:25 +02:00
max-notes/ algebra-1
TeX 0 0
Updated 2025-04-10 16:29:50 +02:00
actions/ cache
TypeScript 0 0
Cache dependencies and build outputs in GitHub Actions
Updated 2025-03-19 19:06:32 +01:00
actions/ checkout
TypeScript 0 0
Mirror of https://github.com/actions/checkout
Updated 2025-01-16 21:56:18 +01:00
Hanabi/ Py-Hanabi
Python 0 0
Python scripts to analyze hanabi instances, providing interfaces to hanab.live, a local game database and analysis tools.
Updated 2024-12-11 00:48:50 +01:00
max/ graph-algorithms
C++ 0 0
Updated 2024-08-02 00:34:16 +02:00
Hanabi/ Endgame-Analyzer
C++ 0 0
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
josia-notes/ w23-logic-3
TeX 0 0
Updated 2024-04-24 13:37:16 +02:00
josia-notes/ w23-logic-2
TeX 0 0
Updated 2024-03-20 22:34:17 +01:00
abstractnonsense/ pages
Shell 0 0
Updated 2024-02-22 16:24:52 +01:00
Hanabi/ hanabi-league
Python 0 2
Updated 2024-02-06 15:52:07 +01:00
posij118/ hanabi-league
Python 0 0
Updated 2024-02-06 10:57:24 +01:00
test-guest/ hanabi-league
Python 0 0
Updated 2024-02-06 10:34:06 +01:00
max/ cde-goedel
TeX 0 0
(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
Hanabi/ streak-hunting-spreadsheet
Python 0 0
Code to collect games played on hanab.live and produce a spreadsheet involving streaks and lots of analysis results.
Updated 2023-11-21 16:27:44 +01:00
Hanabi/ hanabi.rs
Rust 0 0
Forked from https://github.com/WuTheFWasThat/hanabi.rs.
Updated 2023-11-21 16:22:30 +01:00
max/ edmonds-matching-algorithm
C++ 0 0
Updated 2023-11-08 14:04:59 +01:00
latex/ legacy-code-converter
Python 0 0
Updated 2023-10-26 11:11:37 +02:00
josia-notes/ s21-algebra-1
TeX 0 0
Algebra 1 (summer term 2021) Lecturer: Prof. Dr. Jens Franke, Notes: Josia Pietsch
Updated 2023-10-21 22:46:44 +02:00