[Charity] Advent of Ada/SPARK 2023 Submissions

Advent of Code
81

[cantanima][14][Ada]https://github.com/johnperry-math/AoC2023/tree/master/day14

82

[cantanima][13][Ada]AoC2023/day14 at master · johnperry-math/AoC2023 · GitHub

Looks like a copy-and-modify error.

83

[jrcarter][14][Ada] https://github.com/jrcarter/AoA_23/blob/3498a24e97429083d25a84043638bcc132afe643/aoa_14_1.adb

84

[cunger][7][Ada] https://github.com/cunger/100hoursofada/tree/main/aoc2023/src/07

85

[jrcarter][15][Ada] https://github.com/jrcarter/AoA_23/blob/6ac6ace670684998a53a969529bc25adf91c13e4/aoa_15_1.adb

86

[cantanima][15][Ada]https://github.com/johnperry-math/AoC2023/tree/master/day15/src

87

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

88

[cantanima][16][Ada]https://github.com/johnperry-math/AoC2023/tree/master/day16/src

89

[jrcarter][16][Ada] https://github.com/jrcarter/AoA_23/blob/094b8989f9edc5959f95981e558524bce9cbf1ec/aoa_16_1.adb

90

[Paul-Farmer][8][Ada] GitHub - PaulFarmerM814/AdventOfCode2023
[Paul-Farmer][9][Ada] GitHub - PaulFarmerM814/AdventOfCode2023
[Paul-Farmer][10][Ada] GitHub - PaulFarmerM814/AdventOfCode2023
[Paul-Farmer][11][Ada] GitHub - PaulFarmerM814/AdventOfCode2023

91

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

92

[zertovitch][16][Ada](examples) Added Advent of Code 2023, Day 16 · zertovitch/hac@30791fc · GitHub

93

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

94

[Daniel-Larraz][1][SPARK]https://github.com/daniel-larraz/advent-of-code/tree/main/2023/Ada/day01

2 Likes
95

[jrcarter][18][Ada] https://github.com/jrcarter/AoA_23/blob/0bd81f258eeedf7bb28c74ade48413db7dba74e9/aoa_18_1.adb

96

Phew… :sweat:

[cunger][15][Ada] https://github.com/cunger/100hoursofada/tree/main/aoc2023/src/15

97

[cantanima][17][Ada]https://github.com/johnperry-math/AoC2023/blob/3146edb91b84496e69dab5b2c60ea23ca11ff509/day17/src/day17.adb

98

[cantanima][19][Ada]https://github.com/johnperry-math/AoC2023/blob/3146edb91b84496e69dab5b2c60ea23ca11ff509/day19/src/day19.adb

99

[jrcarter][19][Ada] https://github.com/jrcarter/AoA_23/blob/a743a3b1e70301afdb7d21cd08fce49545ad92b3/aoa_19_1.adb

100

[zertovitch][18][Ada](examples) Added Advent of Code 2023, Day 18 · zertovitch/hac@7f33e7c · GitHub