Announcing Advent of Ada/SPARK 2025: Coding for a Cause!

Dear Ada/SPARK Community,

We're thrilled to kick off the holiday season with another edition of Advent of Ada/SPARK, a programming challenge that not only tests your coding skills but also contributes to a meaningful cause.

As many of you know, Advent of Code has become a beloved tradition since its inception in 2015. This year, the concept has changed slightly, with 12 challenges instead of the 25 from previous years. Once again, we are offering an additional incentive to participants who utilize the Ada and/or SPARK programming languages.

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.

How to participate?

A special thread on the ada-lang.io forum was created for anyone to register their solutions. Once you have completed an exercise, head over to that thread and post a message with a link to the sources of your solution using 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-code/…

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

If you prefer, you can simply create one post and edit it each time you solve a new problem.

• You don’t have to solve all 12 problems
• You don’t have to solve the problems on the day they are submitted
• You can switch back and forth between Ada and SPARK
• You don’t have to be a beginner in Ada/SPARK. Advent of Code is great for learning new languages, but it’s also fun for experienced programmers

In January, we will count all the submissions and donate the corresponding amount to the Ada Developers Academy.

Happy hacking season!