[Charity] Advent of Ada/SPARK 2023 Submissions

Advent of Code
41

[Paul-Farmer][4][Ada] GitHub - PaulFarmerM814/AdventOfCode2023
[Paul-Farmer][5][Ada] GitHub - PaulFarmerM814/AdventOfCode2023

42

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

43

[cantanima][6][Ada]https://github.com/johnperry-math/AoC2023/blob/0a0ce52201e81d691b64d0fc8e2589ffe0f6f9ca/day6/src/day6.adb

44

[jrcarter][5][Ada] https://github.com/jrcarter/AoA_23/blob/f01912976882c47e6c2caeafed202888867ef7c0/aoa_05_1.adb

45

[jrcarter][6][Ada] https://github.com/jrcarter/AoA_23/blob/0b24c6cfc16de27bb7129a5a476e1312d12ee294/aoa_06_1.adb

46

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

47

[Paul-Farmer][6][Ada] GitHub - PaulFarmerM814/AdventOfCode2023

48

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

49

[cantanima][7][Ada]https://github.com/johnperry-math/AoC2023/blob/55f367b7d8a776864d8f29d36f124d6f2cf9e7ad/day7/src/day7.adb

50

[jrcarter][7][Ada] https://github.com/jrcarter/AoA_23/blob/2d966d9504a0ac3a0e5a619e5f44bf88f876a8c8/aoa_07_1.adb

51

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

52

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

53

[cantanima][8][Ada]https://github.com/johnperry-math/AoC2023/blob/b3b2869ade13659011234646b4100f6d3bb740c0/day8/src/day8.adb

54

[Paul-Farmer][7][Ada] GitHub - PaulFarmerM814/AdventOfCode2023

55

[zertovitch][8][Ada](examples) Added Advent of Code 2023, Day 8 · zertovitch/hac@7676c43 · GitHub

56

[jrcarter][8][Ada] https://github.com/jrcarter/AoA_23/blob/febc087b2946234c71a590c057ed69c2cdce2539/aoa_08_1.adb

57

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

58

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

59

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

60

[cantanima][9][Ada]https://github.com/johnperry-math/AoC2023/blob/8e2175272fedb9dc22ed0e8e7dfcb2bc6a5f6f59/day9/src/day9.adb