[Charity] Advent of Ada/SPARK 2023 Submissions

Advent of Code
1

Hello here,

Today AdaCore announced a second 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).

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!

6 Likes
3

[JeremyGrosser][1][Ada] https://github.com/JeremyGrosser/advent/blob/ed090f0e3b966dd23a63e3b735ddd1811c75f6f7/2023/src/day1_2.adb

1 Like
4

[jrcarter][1][Ada] https://github.com/jrcarter/AoA_23/blob/9674760ef335ba62140e831a7587b847c7b06edb/aoa_01_1.adb

3 Likes
5

[rocher][1][Ada] advent-of-code/2023/01 at main · rocher/advent-of-code · GitHub

Please join our shared leaderboard using the code 1708445-6a8f7730

2 Likes
6

[zertovitch][1][Ada] (examples) Added Advent of Code 2023, Day 1 · zertovitch/hac@9f3ba97 · GitHub

…and 73th test in the HAC regression suite :grin:.

7

[cantanima][1][Ada]https://github.com/johnperry-math/AoC2023/blob/351842e86e50dcbe014bdea40e2ea09201db47fa/day1/src/day1.adb

1 Like
8

[smionean][1][Ada]https://github.com/smionean/AdventOfCode/blob/7ff31043a64e2a65c2d3ad94197bd004d2974020/2023/day01/src/day01.adb

1 Like
9

[JeremyGrosser][2][Ada]https://github.com/JeremyGrosser/advent/blob/4f6c885703475d0b804beb0b0d47fa4b7360e3c0/2023/src/day2_2.adb

1 Like
10

[cantanima][2][Ada]https://github.com/johnperry-math/AoC2023/blob/975f190b03db59ee9ec5731b72cba96a49d461fd/day2/src/day2.adb

1 Like
11

[thierr26][1][Ada] GitHub - thierr26/advent_of_code: Some Advent of Code puzzle solutions in Ada

1 Like
12

[zertovitch][2][Ada](examples) Added Advent of Code 2023, Day 2 · zertovitch/hac@ddde97e · GitHub

13

[rocher][2][Ada] https://github.com/rocher/advent-of-code/tree/main/2023/02

1 Like
14

[persan][1][Ada]https://github.com/persan/advent-of-code-2023/tree/main/day_1
[persan][2][Ada]https://github.com/persan/advent-of-code-2023/tree/main/day_2

2 Likes
15

[jrcarter][2][Ada] https://github.com/jrcarter/AoA_23/blob/5d6b01c790853c04967f561886f75383db725eb6/aoa_02_1.adb

16

[Irvise][1][Ada]https://github.com/Irvise/AoC-2023/tree/main/day_1

17

[thierr26][2][Ada] GitHub - thierr26/advent_of_code: Some Advent of Code puzzle solutions in Ada

18

[JeremyGrosser][3][Ada]https://github.com/JeremyGrosser/advent/blob/8a67affad87c4f290858d5047a416cfb3b134f00/2023/src/day3_2.adb

19

[cantanima][3][Ada]https://github.com/johnperry-math/AoC2023/blob/fe001ab9a037dab19df51710e173ee2936c4040d/day3/src/day3.adb

20

[bjorn-lundin][01][Ada] https://github.com/bjorn-lundin/aoc23/tree/main/01//day01a.adb
[bjorn-lundin][01][Ada] https://github.com/bjorn-lundin/aoc23/tree/main/01//day01b.adb