jana · she/her

1 follower · 1 following

• Mrow!

• Joined on 2025-08-19

Repositories

8

Projects Packages Public activity Starred repositories

1

jana pushed to main at jana/server 2026-01-03 01:48:02 +00:00

508c3a20bd readme

jana pushed to main at jana/server 2026-01-03 01:45:53 +00:00

dcf9031b33 remove direnv

jana pushed to main at jana/hanoigame 2026-01-02 16:33:30 +00:00

6fc85b3d82 canonicalize colors

jana pushed to main at jana/hanoigame 2026-01-02 16:05:14 +00:00

37b01f2102 sort

82fbdec1c7 minor symmetry breaking: dont hash solved towers

fc5872a5af don't allow moving towers of the same color to empty spots

727a738fd4 change problem size

Compare 4 commits »

jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 14:52:38 +00:00

9d739f2272 update gitignore

jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 14:50:59 +00:00

8d8edc8b25 add link

jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 14:47:55 +00:00

11e7b05d35 add flake.nix

jana pushed to main at jana/eelco-visser-compiler-construc... 2025-09-29 14:16:42 +00:00

dd6e4afb13 download 2021 site

jana created branch main in jana/eelco-visser-compiler-construc... 2025-09-29 14:16:41 +00:00

jana pushed to main at jana/quoridor 2025-09-12 17:59:44 +00:00

d00a7a6fec coooooolors

jana pushed to main at jana/quoridor 2025-09-12 08:02:47 +00:00

6ab78f2b1c better box drawing

jana pushed to main at jana/quoridor 2025-09-12 05:59:14 +00:00

2bf743a272 better distance heuristic

jana pushed to main at jana/quoridor 2025-09-11 18:47:55 +00:00

20a6d2faeb ai

jana merged pull request jana/hanoigame#4 2025-09-08 18:06:28 +00:00

add seeding for rng

jana pushed to main at jana/hanoigame 2025-09-08 18:06:28 +00: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 pushed to main at jana/hanoigame 2025-09-03 17:41:04 +00: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 17:41:03 +00:00

fix error handler

jana merged pull request jana/hanoigame#2 2025-09-03 17:40:43 +00:00

clippy lints

jana pushed to main at jana/hanoigame 2025-09-03 17:40:43 +00:00

1a41781aea Merge pull request 'clippy lints' (#2) from computerdruid/hanoigame:push-lrpsrlkrtkor into main

795de79884 clippy lints

Compare 2 commits »

jana pushed to main at jana/hanoigame 2025-09-03 17:40:25 +00:00

48e963e723 Merge pull request 'Better color choices' (#1) from computerdruid/hanoigame:push-oxqrmowvprlq into main

db22d1912e Better color choices

Compare 2 commits »