[Charity] Advent of Ada/SPARK 2025 Submissions

Advent of Code
22

[AdaOrbit][2][Ada] Making sure you're not a bot!

Only managed to do the first challenge :confused: Hope that it still counts.

1 Like
23

[jcmoyer][3][Ada] puzzles/AdventOfCode2025/src/day03.adb at 516ecad43a8bd50ce21fc7cddc74dd88a5e74e89 · jcmoyer/puzzles · GitHub

2 Likes
24

[jrcarter][01][Ada] AoA_25/aoa_01_1.adb at b23dc0ad8b307e135621edd41f8eb2ed29432372 · jrcarter/AoA_25 · GitHub

[jrcarter][02][Ada] AoA_25/aoa_02_1.adb at main · jrcarter/AoA_25 · GitHub

[jrcarter][03][Ada] AoA_25/aoa_03_1.adb at main · jrcarter/AoA_25 · GitHub

1 Like
25

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

1 Like
26

[wutka][3][SPARK] advent-of-spark-2025/day3/src/day3.adb at f121d205c1a60d622149a8370921be4daae20746 · wutka/advent-of-spark-2025 · GitHub

1 Like
27

[cunger][3][Ada] 100hoursofada/aoc2025/src/03 at main · cunger/100hoursofada · GitHub

1 Like
28

[AdaOrbit][3][Ada] Making sure you're not a bot!

1 Like
29

Where are the puzzles?

30

Here: https://adventofcode.com/

1 Like
31

[jcmoyer][4][Ada] puzzles/AdventOfCode2025/src/day04.adb at 856a4452b3401db9c74ab40f017c5ecf68ed883c · jcmoyer/puzzles · GitHub

1 Like
32

[wutka][4][SPARK] advent-of-spark-2025/day4/src/day4.adb at 11fdf73ce3fa2193322e50c8c8a253cd6255edc5 · wutka/advent-of-spark-2025 · GitHub

Had to use –level=2 on gnatprove.

1 Like
33

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

1 Like
34

[jrcarter][04][Ada] AoA_25/aoa_04_1.adb at 5289254aa5ed4fd38f04d4b3e63301e3bdf97519 · jrcarter/AoA_25 · GitHub

1 Like
35

[cunger][4][Ada] 100hoursofada/aoc2025/src/04 at main · cunger/100hoursofada · GitHub

1 Like
36

[smionean][1][Ada] https://github.com/smionean/AdventOfCode/2025/day01/src/day01.adb

1 Like
37

[AdaOrbit][4][Ada] Suffer something wicked from my feet, and my bladder’s jest terrible.

1 Like
38

[smionean][3][Ada] https://github.com/smionean/AdventOfCode/2025/day03/src/day03.adb

1 Like
39

[jcmoyer][5][Ada] puzzles/AdventOfCode2025/src/day05.adb at 755e21cd0a1cafb5e65ddb3ebddc66ebc20b0387 · jcmoyer/puzzles · GitHub

1 Like
40

[cunger][5][Ada] 100hoursofada/aoc2025/src/05 at main · cunger/100hoursofada · GitHub

1 Like
41

[zertovitch][1][Ada][hac/exm/aoc/2025/aoc_2025_01.adb at 54a55c63c05e59500b807fdf3404402f59483246 · zertovitch/hac · GitHub]
[zertovitch][2][Ada][hac/exm/aoc/2025/aoc_2025_02.adb at 54a55c63c05e59500b807fdf3404402f59483246 · zertovitch/hac · GitHub]
[zertovitch][3][Ada][hac/exm/aoc/2025/aoc_2025_03.adb at 54a55c63c05e59500b807fdf3404402f59483246 · zertovitch/hac · GitHub]
[zertovitch][4][Ada][hac/exm/aoc/2025/aoc_2025_04.adb at 54a55c63c05e59500b807fdf3404402f59483246 · zertovitch/hac · GitHub]
[zertovitch][5][Ada][hac/exm/aoc/2025/aoc_2025_05.adb at 54a55c63c05e59500b807fdf3404402f59483246 · zertovitch/hac · GitHub]

1 Like