[EthanLuisMcDonough][5][Ada] aoc2025/src/aoc-day_5.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][6][Ada] aoc2025/src/aoc-day_6.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][7][Ada] aoc2025/src/aoc-day_7.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub
[EthanLuisMcDonough][8][Ada] aoc2025/src/aoc-day_8.adb at 97c6d619db0fdf1be2ad189916432da82482c32b · EthanLuisMcDonough/aoc2025 · GitHub
1 Like
[jrcarter][07][Ada] AoA_25/aoa_07_1.adb at 4a833bc39e393958d34dedda3da164b6c7ada0bf · jrcarter/AoA_25 · GitHub
[jrcarter][09][Ada] AoA_25/aoa_09_1.adb at main · jrcarter/AoA_25 · GitHub
[Heziode][9][SPARK] advent-of-code-ada-spark/2025/day_09 at main · Heziode/advent-of-code-ada-spark · GitHub
NB: It is mostly AI-generated. I am taking this opportunity to experiment with “spec-driven development” workflows.
1st day a bit challenging for AI, it firstly generated a suboptimal solution for part 2 that was too long to converge to the solution.
[jcmoyer][9][Ada] puzzles/AdventOfCode2025/src/day09.adb at a5f3a52c730ec40b8f63ad7e70967ca606101706 · jcmoyer/puzzles · GitHub
1 Like
[Fabien-Chouteau][1][Ada] adventofcode-ada/2025/aoc_2025/src/day1.adb at 8caa74405635b173c2d53905bf6b9a2f40317597 · Fabien-Chouteau/adventofcode-ada · GitHub
[Fabien-Chouteau][2][Ada] adventofcode-ada/2025/aoc_2025/src/day2.adb at 8caa74405635b173c2d53905bf6b9a2f40317597 · Fabien-Chouteau/adventofcode-ada · GitHub
[wutka][9][SPARK] advent-of-spark-2025/day9/src/day9.adb at 0ebb87f2b60b4b781be275bb469b82794b15c3f3 · wutka/advent-of-spark-2025 · GitHub
again, –level=2 on gnatprove
[jcmoyer][10][Ada] puzzles/AdventOfCode2025/src/day10.adb at e3b8492024bc5d23d0a84e2fc5cb0d41d72d070b · jcmoyer/puzzles · GitHub
Part 1 only, had to use z3 for part 2.
[cunger][6][Ada] 100hoursofada/aoc2025/src/06 at main · cunger/100hoursofada · GitHub
[cunger][7][Ada] 100hoursofada/aoc2025/src/07 at main · cunger/100hoursofada · GitHub
Falling behind because life happened. 
1 Like
[wutka][10][SPARK] advent-of-spark-2025/day10/src/day10.adb at ea00064207cffb5e6f221cd3a7f398d672fe6544 · wutka/advent-of-spark-2025 · GitHub
Whew! What a pain! –level=2 on gnatprove again
Much of the work is done in the Visit and Joltage packages which are also in Spark_Mode.
[Heziode][10][Ada] advent-of-code-ada-spark/2025/day_10 at main · Heziode/advent-of-code-ada-spark · GitHub
[Heziode][11][SPARK] advent-of-code-ada-spark/2025/day_11 at main · Heziode/advent-of-code-ada-spark · GitHub
NB: It is mostly AI-generated. I am taking this opportunity to experiment with “spec-driven development” workflows.
I mark day 10 as Ada instead of SPARK because I have no time to check AoRTE. It’s a difficult day for AI, without a Integer Linear Programming solver in Ada/SPARK.
Today (day 11) was easy.
[wutka][11][SPARK] advent-of-spark-2025/day11/src/day11.adb at 4fa7ba0006179147cdb7eeb11d37082760d34de2 · wutka/advent-of-spark-2025 · GitHub
[jcmoyer][11][Ada] puzzles/AdventOfCode2025/src/day11.adb at 63259427f1c7bcd2ea13451fb077054614b67606 · jcmoyer/puzzles · GitHub
[jrcarter][08][Ada] https://github.com/jrcarter/AoA_25/blob/18f4b4e7110b2b631a25d95026914887241cda86/aoa_08_1.adb
I’ve withdrawn my submissions. The use of AI models doesn’t sit with me, and is against the spirit of the AoC. I don’t want any discussion about this. Everybody can do as they please, but without my participation.
2 Likes
Part 1 - day 6 : [smionean][06][Ada] https://github.com/smionean/AdventOfCode/2025/day06/src/day06.adb
Part 1 - day 7 : [smionean][07][Ada] https://github.com/smionean/AdventOfCode/2025/day07/src/day07.adb
[jcmoyer][12][Ada] puzzles/AdventOfCode2025/src/day12.adb at 5e9ca7bc247e50742fffc4d9fdaf373abf295868 · jcmoyer/puzzles · GitHub
[wutka][12][SPARK] advent-of-spark-2025/day12/src/day12.adb at eb7d3497741287b7f66a35606e5dbc5773b846c9 · wutka/advent-of-spark-2025 · GitHub
[Heziode][12][SPARK] advent-of-code-ada-spark/2025/day_12 at main · Heziode/advent-of-code-ada-spark · GitHub
NB: It is mostly AI-generated. I am taking this opportunity to experiment with “spec-driven development” workflows.
1 Like
Bit late starting this year, but here goes:
[Paul-Farmer][1][Ada]AdventOfCode2025/src/day1_2025.adb at master · PaulFarmerM814/AdventOfCode2025
[Paul-Farmer[2][Ada]AdventOfCode2025/src/day2_2025.adb at master · PaulFarmerM814/AdventOfCode2025
[Paul-Farmer][3][Ada]AdventOfCode2025/src/day3_2025.adb at master · PaulFarmerM814/AdventOfCode2025
2 Likes
[Paul-Farmer][4][Ada]AdventOfCode2025/src/day4_2025.adb at master · PaulFarmerM814/AdventOfCode2025
[Paul-Farmer][5][Ada]AdventOfCode2025/src/day5_2025.adb at master · PaulFarmerM814/AdventOfCode2025
[Paul-Farmer][6][Ada]AdventOfCode2025/src/day6_2025.adb at master · PaulFarmerM814/AdventOfCode2025