Advent of Ada/SPARK 2025 Results
On December 1st, we called the Ada and SPARK programmers community to take on a challenge for a good cause. For each person completing one of the Advent of Code exercises using the Ada programming language, AdaCore would donate $10 to the Ada Developers Academy. And for those willing to go an extra mile, AdaCore would donate $20 if the solution is implemented in SPARK. This year, we also added a $100 bonus for individuals who complete all 12 exercises.
We are now in January, and it is time for the results!
We counted 16 participants in the forum thread, 98 exercises completed using Ada, 40 using SPARK, and 6 participants who completed all 12 exercises! This adds up to $2380 for the Ada Developers Academy!
Thank you all for your contribution,
Author
Fabien Chouteau
Fabien joined AdaCore in 2010 after his engineering degree at the EPITA (Paris). He is involved in real-time, embedded and hardware simulation technology. Maker/DIYer in his spare time, his projects include electronics, music and woodworking.
