[Daniel-Larraz][2][SPARK]https://github.com/daniel-larraz/advent-of-code/tree/main/2023/Ada/day02
[cantanima][25][Ada]https://github.com/johnperry-math/AoC2023/blob/642ff0f6151e031b90fb9edfa5c143395a94b344/day25/src/day25.adb
Impressive work, @jcmoyer !!
FYI, you can register at the private leaderboard 1708445-6a8f7730. Many people from the Ada community is already registered there.
2 Likes
[zertovitch][24][Ada](examples) Edited Advent of Code 2023, Day 24 · zertovitch/hac@b528cf4 · GitHub
[zertovitch][25][Ada](examples) Added Advent of Code 2023, Day 25 · zertovitch/hac@fd9f49c · GitHub
Hello everyone, impressive results once again 
Here’s what I gathered with my script:
- JeremyGrosser: 3
- jrcarter: 20
- rocher: 12
- zertovitch: 25
- cantanima: 23
- smionean: 1
- thierr26: 3
- persan: 2
- Irvise: 1
- bjorn-lundin: 3
- Paul-Farmer: 13
- RREE: 4
- Fabien-Chouteau: 1
- cunger: 7
- Daniel-Larraz: 2
- jcmoyer: 25
Let me know if you think there’s a mistake.
We will posts the results on the AdaCore blog in the coming days/weeks.
3 Likes
I mis-labeled two of mine. Can you run the script again?
No problem, here are the updated results:
- JeremyGrosser: 3
- jrcarter: 20
- rocher: 12
- zertovitch: 25
- cantanima: 25
- smionean: 1
- thierr26: 3
- persan: 2
- Irvise: 1
- bjorn-lundin: 3
- Paul-Farmer: 13
- RREE: 4
- Fabien-Chouteau: 1
- cunger: 7
- Daniel-Larraz: 2
- jcmoyer: 25
Thanks for setting up the charity event! It’s nice to contribute something small, in addition to just having fun.
And although I’ve not been super active this year, thanks to everyone who shared their code. For me, peeking at some of them was a surprisingly good way to learn how to do certain things in Ada.
3 Likes