2025-06-19 - 2025-12-19

Overview

5 active pull requests
0 active issues
Excluding merges, 1 author has pushed 3 commits to main and 7 commits to all branches. On main, 4 files have changed and there have been 2774 additions and 1774 deletions.

4 pull requests merged by 1 user

Merged #4 add seeding for rng 2025-09-08 20:06:27 +02:00

Merged #3 fix error handler 2025-09-03 19:41:03 +02:00

Merged #2 clippy lints 2025-09-03 19:40:43 +02:00

Merged #1 Better color choices 2025-09-03 19:40:23 +02:00

1 pull request proposed by 1 user

Proposed #5 WIP: Change A* heuristic to be a proper estimate 2025-09-14 01:56:15 +02:00