[Charity] Advent of Ada/SPARK 2025 Submissions

Advent of Code
42

[wutka][5][SPARK] advent-of-spark-2025/day5/src/day5.adb at 52c4f7f0df0fca42a22272f49207077da770a706 · wutka/advent-of-spark-2025 · GitHub

1 Like
44

[jrcarter][05][Ada] AoA_25/aoa_05_1.adb at 246251a4cbf89521b24040d6d218655510241d53 · jrcarter/AoA_25 · GitHub

1 Like
45

[AdaOrbit][5][Ada] Have imagined, probably.

1 Like
46

[smionean][4][Ada] https://github.com/smionean/AdventOfCode/2025/day04/src/day04.adb

1 Like
47

[jcmoyer][6][Ada] puzzles/AdventOfCode2025/src/day06.adb at b63d73315a9e27b4fc4f6b4cf12c7a160dc370c3 · jcmoyer/puzzles · GitHub

1 Like
48

[smionean][5][Ada] https://github.com/smionean/AdventOfCode/2025/day05/src/day05.adb

1 Like
49

[Daniel-Larraz][4][SPARK]advent-of-code/2025/Ada/day04 at main · daniel-larraz/advent-of-code · GitHub

1 Like
50

[jrcarter[06][Ada] AoA_25/aoa_06_1.adb at d7003d2332bac3e0b2df5af4bdc96bb575ba39e9 · jrcarter/AoA_25 · GitHub

1 Like
51

[Daniel-Larraz][5][SPARK]advent-of-code/2025/Ada/day05 at main · daniel-larraz/advent-of-code · GitHub

1 Like
52

[jcmoyer][7][Ada] puzzles/AdventOfCode2025/src/day07.adb at 99d3e4e8f02b878e69740b630a7c5106c4ef269e · jcmoyer/puzzles · GitHub

1 Like
53

[wutka][6][SPARK] advent-of-spark-2025/day6/src/day6.adb at ce9e808ef9c1d3135c2c61708c49c44896115320 · wutka/advent-of-spark-2025 · GitHub

Used –level=2, had to put in a weird check to get SPARK to prove something

1 Like
54

[wutka][7][SPARK] advent-of-spark-2025/day7/src/day7.adb at ce9e808ef9c1d3135c2c61708c49c44896115320 · wutka/advent-of-spark-2025 · GitHub

–level=2

1 Like
56

No rush @tgv it is not a competition :slight_smile:

2 Likes
57

[AdaOrbit][6][Ada] Queue gave another jerk forward. As.
Please don’t look to closely. I am not proud of my solution.

At least I am halve way done!

1 Like
58

[AdaOrbit][7][Ada] ‘Vast strategic manoeuvre.
Ignore the pragma Ada_2022; used it to debug the array.

1 Like
59

[Daniel-Larraz][6][SPARK]advent-of-code/2025/Ada/day06 at main · daniel-larraz/advent-of-code · GitHub

1 Like
60

[jcmoyer][8][Ada] puzzles/AdventOfCode2025/src/day08.adb at 3e4cefdc6978deedb4ddc14ee890fe8d67ed0d0d · jcmoyer/puzzles · GitHub

1 Like
61

[Heziode][1][SPARK] advent-of-code-ada-spark/2025/day_01 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][2][SPARK] advent-of-code-ada-spark/2025/day_02 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][3][SPARK] advent-of-code-ada-spark/2025/day_03 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][4][SPARK] advent-of-code-ada-spark/2025/day_04 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][5][SPARK] advent-of-code-ada-spark/2025/day_05 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][6][SPARK] advent-of-code-ada-spark/2025/day_06 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][7][SPARK] advent-of-code-ada-spark/2025/day_07 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][8][SPARK] advent-of-code-ada-spark/2025/day_08 at main · Heziode/advent-of-code-ada-spark · GitHub

NB: It is mostly AI-generated. I am taking this opportunity to experiment with “spec-driven development” workflows.

3 Likes
62

[wutka][8][SPARK] advent-of-spark-2025/day8/src/day8.adb at e93512ba4ddbdecb9f76f78bd2cff17a204bbf8b · wutka/advent-of-spark-2025 · GitHub

Needs –level=2

I used my own binary heap library that can be verified at the gnatprove silver level:

2 Likes
63

Sorry for the late reply, I only just learned this event was going on. As it just so happens, I had already been working on this year’s AoC in Ada, so I figured I should post my solutions here to support the cause:

[EthanLuisMcDonough][1][Ada] aoc2025/src/aoc-day_1.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][2][Ada] aoc2025/src/aoc-day_2.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][3][Ada] aoc2025/src/aoc-day_3.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][4][Ada] aoc2025/src/aoc-day_4.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub

The rest will be linked in a subsequent post; my new user status limits me to including only four links.

3 Likes