[Charity] Advent of Ada/SPARK 2025 Submissions

Advent of Code
1

Hello here,

On Monday, AdaCore will announce a new edition of the Advent of Ada/SPARK charity event. For each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donate $10 to the Ada Developers Academy, up to a total of $5,000. And for those willing to go an extra mile, AdaCore will donate $20 if the solution is implemented in SPARK with at least proof of absence of run-time errors (a.k.a. Silver level).

Since there are fewer puzzles to solve this time, we decided to add a little bonus. For everyone who completes the full 12 puzzles, we add an extra $100 to the donation.

To submit your solutions, reply to this post with a line of the following format:
[<pseudonym>][<day>][<Ada or SPARK>]<link to solution source code>

For instance, if I solve the 3rd day problem using Ada:
[Fabien-Chouteau][3][Ada] https://github.com/Fabien-Chouteau/advent-of-ada/ …

And the 5th day using SPARK:
[Fabien-Chouteau][5][SPARK] https://github.com/Fabien-Choutea/advent-of-ada/ …

Happy hacking!

10 Likes
3

Hummm, maybe I should release the « distance » library I develop, Even if it is in early stage, it contains the simple distance algorithme usualy Used in some exercices of AoC.
And, it is at least silver level proved

5 Likes
4

The 2 links to GitHub are broken.

5

It’s an example :slight_smile:
@Fabien.C does not really have this repo on its profile (or it is in private)

6

Note that this Ada Developers Academy is named after Lady Ada, but it does not teach or use Ada the language. Too bad!

2 Likes
7

[jcmoyer][1][Ada] puzzles/AdventOfCode2025/src/day01.adb at f5a201e09f519e26b0cf0dd45f37f9a4e3301ac4 · jcmoyer/puzzles · GitHub

2 Likes
8

If you need to compute distance in challanges this year, like Manhattan, Euclidean, or text distance like Levenshtein, I just released a library for this purpose: Distance

It is still in dev, but all implemented algorithms work.

You can install it with: alr with distance

4 Likes
9

[wutka][1][SPARK] advent-of-spark-2025/day1/src/day1.adb at 6c402edb5fa021a5e5b5f2635eede3a911e7654e · wutka/advent-of-spark-2025 · GitHub

10

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

1 Like
12

[cunger][1][Ada] 100hoursofada/aoc2025/src/01 at main · cunger/100hoursofada · GitHub

1 Like
13

[JeremyGrosser][1][SPARK] advent/2025/src/day1_2.adb at 3ceec04f6a7a46fc25d68bdf62b0d1648b7a8407 · JeremyGrosser/advent · GitHub

14

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

1 Like
15

[markhermeling][Day One][Ada] https://gitlab.com/ada-advent-2025/day-one

Ran out of daylight to turn it into SPARK

16

Ran out of daylight to make it SPARK.

17

[jcmoyer][2][Ada] puzzles/AdventOfCode2025/src/day02.adb at 9b148ee1f6714445521860e9a2e45a892864673c · jcmoyer/puzzles · GitHub

2 Likes
18 
[Max][1][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_01/aoc-day_01.adb
[Max][2][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_02/aoc-day_02.adb
[Max][3][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_03/aoc-day_03.adb
[Max][4][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_04/aoc-day_04.adb
[Max][5][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_05/aoc-day_05.adb
[Max][6][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_06/aoc-day_06.adb
[Max][7][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_07/aoc-day_07.adb
[Max][8][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_08/aoc-day_08.adb
[Max][9][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_09/aoc-day_09.adb
[Max][10][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_10/aoc-day_10.adb
[Max][11][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_11/aoc-day_11.adb
[Max][12][Ada] https://github.com/reznikmm/advent-of-ada/blob/2025/source/day_12/aoc-day_12.adb
19

[cunger][2][Ada] 100hoursofada/aoc2025/src/02 at main · cunger/100hoursofada · GitHub

(Quick and dirty; don’t enjoy string juggling too much…)

1 Like
20

[JeremyGrosser][2][Ada] advent/2025/src/day2_2.adb at c923825362623a6a4215536f3aa2eda0e7047184 · JeremyGrosser/advent · GitHub

1 Like
21

[wutka][2][SPARK] advent-of-spark-2025/day2/src/day2.adb at 50c5f6de02d484d85a27a2e4453231f7be2a9c0a · wutka/advent-of-spark-2025 · GitHub

1 Like