Advent of Code 2024

Advent of Code
124

[zertovitch][17][Ada] (examples) Added Advent of Code 2024, Day 17 · zertovitch/hac@48c3c04 · GitHub

125

[zertovitch][18][Ada] (examples) Added Advent of Code 2024, Day 18 · zertovitch/hac@906b64e · GitHub

126

Part 1 only: [tgv][17][Ada]aoc2024/aoc202417a at master · theovosse/aoc2024 · GitHub

127

Day 18, part 1: [tgv][18][Ada]aoc2024/aoc202418a at master · theovosse/aoc2024 · GitHub

Day 18, part 2: [tgv][18][Ada]aoc2024/aoc202418b at master · theovosse/aoc2024 · GitHub

128

Hi everyone, I just did a quick check of my script for the Advent of Ada/SPARK charity.
So far we have the following results:

  • tgv: 18
  • jcmoyer: 18
  • zertovitch: 18
  • JeremyGrosser: 13
  • max: 12
  • derekkingston: 12
  • jrcarter: 10
  • alexispaez: 8
  • Chris660: 8
  • cunger: 5
  • Irvise: 4
  • Daniel-Larraz: 4
  • ajdude: 4
  • lukemerrick: 4
  • zsoltiv: 2
  • smionean: 2
  • rocher: 1
  • Yaroslav Rozdobudko: 1
  • RREE: 1

140 in Ada, 5 in SPARK. That sums up to $1500 for the Ada Academy :partying_face:

Note that we will gather the final results mid-January, so you can complete the exercises after christmas.

3 Likes
129

[jrcarter][12][Ada]AoA_24/aoa_12_1.adb at 37094286d4290ec0fa8ea3bdd0cf3b610848e209 · jrcarter/AoA_24 · GitHub

130

[jcmoyer][19][Ada] puzzles/AdventOfCode2024/src/day19.adb at faabe02c019b439f6de159edd21d5208ba2763fd · jcmoyer/puzzles · GitHub

131

[zertovitch][19][Ada] (examples) Added Advent of Code 2024, Day 19 · zertovitch/hac@7d02f09 · GitHub

132

Part 1&2: [tgv][19][Ada]aoc2024/aoc202419a at master · theovosse/aoc2024 · GitHub

I’ve also included two failed attempts (rather, attempts that would run a very long time).

Edit: part 2 also added by extending part a with counters.

133

Day 9, part 1:

[alexispaez][09][Ada]advent-of-code/2024/day_9_1/src/day_9_1.adb at f47c9725ccf8d5e88a6c9272f48d0f2831f3c7f9 · alexispaez/advent-of-code · GitHub

134

[jrcarter][13][Ada]AoA_24/aoa_13_1.adb at 87802ad009545f24ea6ccc85ccd50ac05c996961 · jrcarter/AoA_24 · GitHub
[jrcarter][14[Ada]AoA_24/aoa_14_1.adb at main · jrcarter/AoA_24 · GitHub

135

[jcmoyer][20][Ada] puzzles/AdventOfCode2024/src/day20.adb at 722ccaa5169f9c2d796c3198afd8e20b76b47cb6 · jcmoyer/puzzles · GitHub

1 Like
136

[tgv][20][Ada]aoc2024/aoc202420a at master · theovosse/aoc2024 · GitHub

Part 1 only. I don’t know if I’ve got time to add part 2. It looks like it might take some more time.

137

[PaulFarmer][1][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day1_2024.adb
[PaulFarmer][2][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day2_2024.adb
[PaulFarmer][3][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day3_2024.adb
[PaulFarmer][4][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day4_2024.adb
[PaulFarmer][5][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day5_2024.adb
[PaulFarmer][6][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day6_2024.adb
[PaulFarmer][7][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day7_2024.adb
[PaulFarmer][8][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day8_2024.adb
[PaulFarmer][9][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day9_2024.adb
[PaulFarmer][10][Ada] https://github.com/PaulFarmerM814/AdventOfCode2024/blob/main/src/day10_2024.adb

1 Like
138

[zertovitch][20][Ada] (examples) Added Advent of Code 2024, Day 20 · zertovitch/hac@9450fbd · GitHub

139

[jrcarter][15][Ada]AoA_24/aoa_15_1.adb at ea54f8043ba35fd8f75976467c1d8b07dc1490c0 · jrcarter/AoA_24 · GitHub

140

[jcmoyer][21][Ada] puzzles/AdventOfCode2024/src/day21.adb at 6f6ac04e0a831d8300e90d0ad352f0be03b22661 · jcmoyer/puzzles · GitHub

[jcmoyer][22][Ada] puzzles/AdventOfCode2024/src/day22.adb at master · jcmoyer/puzzles · GitHub

1 Like
141

Day 22, part 1: [tgv][22][Ada]aoc2024/aoc202422a at master · theovosse/aoc2024 · GitHub

Day 22, part 2: [tgv][22][Ada]aoc2024/aoc202422b at master · theovosse/aoc2024 · GitHub

I got stuck on day 21 after coming up with a really fast solution. Unfortunately, it was wrong. Perhaps I’ll finish a more brute-force approach later.

142

Better late than never…

[alexispaez][09][Ada]advent-of-code/2024/day_9_2/src/day_9_2.adb at bf54489ec43f2100df37a6c0a49435dd55d91997 · alexispaez/advent-of-code · GitHub

143

[zertovitch][22][Ada] (examples) Added Advent of Code 2024, Day 22 · zertovitch/hac@d403b54 · GitHub