• Joined on 2025-08-19
jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 16:52:38 +02:00
9d739f2272 update gitignore
jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 16:50:59 +02:00
8d8edc8b25 add link
jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 16:47:55 +02:00
11e7b05d35 add flake.nix
jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 16:16:42 +02:00
dd6e4afb13 download 2021 site
jana created branch main in jana/eelco-visser-compiler-construc... 2025-09-29 16:16:41 +02:00
jana pushed to main at jana/quoridor 2025-09-12 19:59:44 +02:00
d00a7a6fec coooooolors
jana pushed to main at jana/quoridor 2025-09-12 10:02:47 +02:00
6ab78f2b1c better box drawing
jana pushed to main at jana/quoridor 2025-09-12 07:59:14 +02:00
2bf743a272 better distance heuristic
jana pushed to main at jana/quoridor 2025-09-11 20:47:55 +02:00
jana pushed to main at jana/hanoigame 2025-09-08 20:06:28 +02:00
50f7dd20f6 Merge pull request 'add seeding for rng' (#4) from computerdruid/hanoigame:push-rwkpyulnxrwu into main
3e15a32a48 add seeding for rng
Compare 2 commits »
jana merged pull request jana/hanoigame#4 2025-09-08 20:06:28 +02:00
add seeding for rng
jana pushed to main at jana/hanoigame 2025-09-03 19:41:04 +02:00
cf5b93cb0d Merge pull request 'fix error handler' (#3) from computerdruid/hanoigame:push-omrvkqpsolyv into main
ea3c02262f fix error handler
Compare 2 commits »
jana merged pull request jana/hanoigame#3 2025-09-03 19:41:03 +02:00
fix error handler
jana pushed to main at jana/hanoigame 2025-09-03 19:40:43 +02:00
1a41781aea Merge pull request 'clippy lints' (#2) from computerdruid/hanoigame:push-lrpsrlkrtkor into main
795de79884 clippy lints
Compare 2 commits »
jana merged pull request jana/hanoigame#2 2025-09-03 19:40:43 +02:00
clippy lints
jana pushed to main at jana/hanoigame 2025-09-03 19:40:25 +02:00
48e963e723 Merge pull request 'Better color choices' (#1) from computerdruid/hanoigame:push-oxqrmowvprlq into main
db22d1912e Better color choices
Compare 2 commits »
jana merged pull request jana/hanoigame#1 2025-09-03 19:40:23 +02:00
Better color choices
jana reopened pull request jana/hanoigame#1 2025-09-03 19:39:41 +02:00
Better color choices
jana closed pull request jana/hanoigame#1 2025-09-03 19:39:38 +02:00
Better color choices