Advent of Ada Submissions

Advent of Code
7

A post was merged into an existing topic: 2022 Day 1: Calorie Counting

8

A post was merged into an existing topic: 2022 Day 1: Calorie Counting

9

I’d like to keep discussion about each day’s puzzle grouped together, so please post links to solutions on the day’s topic, rather than putting them all here. Thanks!

1 Like
10

If you can all still post your submissions for the AdaCore charity event here, just the one line with format described above. Otherwise it will be a nightmare for me to track all the submissions in all the discussions. Thanks

11

[Fabien-Chouteau][1][SPARK] 2022/src/day_01.adb

12

Yeah, that makes sense. I guess I made a bit of a mess moving some of the day 1 posts, I’ll post the solution links here too going forward. Sorry.

Here’s a list of all the links for day 1 so far:

[JeremyGrosser][1][Ada][advent/day1_2.adb at 176068a2109faca088baa96b7cb77a078264693c · JeremyGrosser/advent · GitHub]
[rommudoh][1][Ada][rommudoh/aoc2022-Ada: My Ada solutions for Advent of Code 2022 - aoc2022-Ada - Codeberg.org]
[ebriot][1][Ada][advent_of_code/2022/day1 at master · briot/advent_of_code · GitHub]
[zetah11][1][SPARK][GitHub - zetah11/aoc2022: Some of my Advent of Code 2022 solutions]
[rocher][1][Ada][2022 Day 1: Calorie Counting - #6 by rocher]

13

[William-Franck][1][Ada] Release Day-01 · captain-haddock17/Advent_of_Code_2022 · GitHub

14

[max][1][SPARK] source/day_01.adb

PS :partying_face: My the first experience with SPARK :nerd_face:

3 Likes
15

Hi,

I have created a private leaderboard in AoC. Feel free to join it, code is 1708445-6a8f7730

I have no idea how it works, but sounds fun to track progress of participants (not for competition). @Fabien.C, probably a leaderboard in AoC would be also a good tool to track Ada/SPARK submissions, to account for donations to the Ada Developers Academy.

3 Likes
16

To add your-self go to Leaderboard - Advent of Code 2022 and enter that code. I guess it sorts participants by submission time.

1 Like
17

[Zertovitch][1][Ada] hac/aoc_2022_01.adb at dfa2b7d2125e4324d6898d3d00e424478ee413bf · zertovitch/hac · GitHub

18

[dkm][1][Ada] part1 part2

19

[jklmnn][1][SPARK]aoc/day_2022_1.adb at 760bc2c15829da9c06af1d9caa7a155f93bbe42e · jklmnn/aoc · GitHub

20

[wutka][1][SPARK]advent-of-code-2022-spark/day1.adb at 7af4af12a4a2d46ff2e5dbd6a5e82653b0d780a7 · wutka/advent-of-code-2022-spark · GitHub

[wutka][2][SPARK]advent-of-code-2022-spark/day2.adb at 7af4af12a4a2d46ff2e5dbd6a5e82653b0d780a7 · wutka/advent-of-code-2022-spark · GitHub

1 Like
21

[cantanima][1][Ada]Calorie Counting

22

[smionean][1][Ada]https://github.com/smionean/AdventOfCode/tree/master/2022/day01

23

[analogrelay][1][Ada] aoc2022/day_01.adb at 1870db114d7e9555364e8d4a1445cc295552e627 · analogrelay/aoc2022 · GitHub

24

[JeremyGrosser][2][Ada][advent/day2_2.adb at 3fdc3b70869b12840f96afe5a2c9ecb7c66de300 · JeremyGrosser/advent · GitHub]

25

[Zertovitch][2][Ada]hac/aoc_2022_02.adb at 93ad0ab88a063470721cbe5b02b5630fdf91ca88 · zertovitch/hac · GitHub

26

[cantanima][2][Ada][AoC2022/Day2 at master · johnperry-math/AoC2022 · GitHub]