[Charity] Advent of Ada/SPARK 2025 Submissions

Advent of Code
84

[Paul-Farmer][7][Ada]AdventOfCode2025/src/day7_2025.adb at master · PaulFarmerM814/AdventOfCode2025

85

[Rodrigo-Garcia][1][Ada]https://github.com/rodrigargar/advent-of-code-2025/blob/3ec00194e57682cd806f0c62b47e06d78db59ff4/day1/src/day1.adb

I am starting my holidays and I found this! Hopefully not my last submission.

1 Like
86

[Paul-Farmer][8][Ada]AdventOfCode2025/src/day8_2025.adb at master · PaulFarmerM814/AdventOfCode2025

87

[zertovitch][6][Ada]hac/exm/aoc/2025/aoc_2025_06.adb at 1d0ce66add76a181dbd1e8232fe082c0a56bff11 · zertovitch/hac · GitHub
[zertovitch][7][Ada]hac/exm/aoc/2025/aoc_2025_07.adb at 1d0ce66add76a181dbd1e8232fe082c0a56bff11 · zertovitch/hac · GitHub
[zertovitch][8][Ada]hac/exm/aoc/2025/aoc_2025_08.adb at 1d0ce66add76a181dbd1e8232fe082c0a56bff11 · zertovitch/hac · GitHub
[zertovitch][9][Ada]hac/exm/aoc/2025/aoc_2025_09.adb at 1d0ce66add76a181dbd1e8232fe082c0a56bff11 · zertovitch/hac · GitHub
[zertovitch][10][Ada]hac/exm/aoc/2025/aoc_2025_10.adb at 1d0ce66add76a181dbd1e8232fe082c0a56bff11 · zertovitch/hac · GitHub
[zertovitch][11][Ada]hac/exm/aoc/2025/aoc_2025_11.adb at 1d0ce66add76a181dbd1e8232fe082c0a56bff11 · zertovitch/hac · GitHub

88

Last four submissions:

[EthanLuisMcDonough][9][Ada] aoc2025/src/aoc-day_9.adb at ef27ff3220425d863d091c3c366d1e87f00273a5 · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][10][Ada] aoc2025/src/aoc-day_10.adb at ef27ff3220425d863d091c3c366d1e87f00273a5 · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][11][Ada] aoc2025/src/aoc-day_11.adb at ef27ff3220425d863d091c3c366d1e87f00273a5 · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][12][Ada] aoc2025/src/aoc-day_12.adb at ef27ff3220425d863d091c3c366d1e87f00273a5 · EthanLuisMcDonough/aoc2025 · GitHub

3 Likes
89

[Rodrigo-Garcia][2][Ada] advent-of-code-2025/day2/src/day2.adb at 3d0e689bad4d45be47cbab9a08200e04782da3f2 · rodrigargar/advent-of-code-2025 · GitHub

I looked for invalid IDs in my solution, but generating them must be much more efficient.

90

[Paul-Farmer][9][Ada]AdventOfCode2025/src/day9_2025.adb at master · PaulFarmerM814/AdventOfCode2025

91

[Rodrigo-Garcia][3][Ada]advent-of-code-2025/day3/src/day3.adb at 22a4a4bc4b150929df9378679e9d4dbd3a2a13b5 · rodrigargar/advent-of-code-2025 · GitHub

92

[Rodrigo-Garcia][4][Ada]advent-of-code-2025/day4/src/day4.adb at cab1e3be3f9974638758f8ae234327acb88ed3fc · rodrigargar/advent-of-code-2025 · GitHub

93

[Rodrigo-Garcia][5][Ada]advent-of-code-2025/day5/src/day5.adb at 7bfa71338a1b71f50bc4aedbdfadff5d43c88948 · rodrigargar/advent-of-code-2025 · GitHub

94

[Daniel-Larraz][7][SPARK] advent-of-code/2025/Ada/day07 at main · daniel-larraz/advent-of-code · GitHub
[Daniel-Larraz][8][SPARK] advent-of-code/2025/Ada/day08 at main · daniel-larraz/advent-of-code · GitHub

95

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

96

[Rodrigo-Garcia][6][Ada] advent-of-code-2025/day6/src/day6.adb at 6d7a5e76298f6511458ced799322c1c86be264a8 · rodrigargar/advent-of-code-2025 · GitHub

[Rodrigo-Garcia][7][Ada]advent-of-code-2025/day7/src/day7.adb at 6d7a5e76298f6511458ced799322c1c86be264a8 · rodrigargar/advent-of-code-2025 · GitHub

It’s fun to use Ada 2022 features like ‘Reduce!

97

[Paul-Farmer][11][Ada]AdventOfCode2025/src/day11_2025.adb at master · PaulFarmerM814/AdventOfCode2025

98

Earlier this month, I did all the Advent of Code puzzles in Python. Now I’m working on converting them to SPARK/Ada. @Fabien.C, how long are you planning to leave these submissions open? I’ll see what I can get done in the next few days unless it’s already closing.

For now, I have these two:
[lhumphrey][01][SPARK]https://github.com/lhumphrey/AoC-2025-In-Ada/tree/main/day01spark

[lhumphrey][02][SPARK]https://github.com/lhumphrey/AoC-2025-In-Ada/tree/main/day02spark

1 Like
99

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

100

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

101

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

102

[lhumphrey][3][SPARK]https://github.com/lhumphrey/AoC-2025-In-Ada/tree/main/day03spark (requires proof at level 2 on my machine)

[lhumphrey][4][SPARK]https://github.com/lhumphrey/AoC-2025-In-Ada/tree/main/day04spark

103

I would like to know your experience of working on the same set of problems with both languages if you are willing to share them! :slight_smile: