[Charity] Advent of Ada/SPARK 2023 Submissions

[jrcarter][9][Ada] https://github.com/jrcarter/AoA_23/blob/107066bb3d5778c2ab5dc94150e98f9f541b5461/aoa_09_1.adb

I’m late to the game, because I was on vacation until yesterday, but better late than never…

[cunger][1][Ada] https://github.com/cunger/100hoursofada/blob/5e7906413c27b282bf5e0eb63f3f98e37d3c0033/aoc2023/src/01/aoc2023_01.adb

2 Likes

[zertovitch][10][Ada](examples) Added Advent of Code 2023, Day 10 · zertovitch/hac@4241d9a · GitHub

[bjorn-lundin][02][Ada] https://github.com/bjorn-lundin/aoc23/tree/main/02/day02a.adb
[bjorn-lundin][02][Ada] [https://github.com/bjorn-undin/aoc23/tree/main/02/day02b.adb
[bjorn-lundin][03][Ada] https://github.com/bjorn-lundin/aoc23/tree/main/03/day03a.adb

[cantanima][10][Ada]https://github.com/johnperry-math/AoC2023/blob/aa705ebacc8bb86d4bbb0848e1e96bac2444e095/day10/src/day10.adb

[jrcarter][10][Ada] https://github.com/jrcarter/AoA_23/blob/862f47d27059fac722b593bbefbfcb135dc188a8/aoa_10_1.adb

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

[cantanima][11][Ada]https://github.com/johnperry-math/AoC2023/blob/6320f562cc232f692e94a197df8a13bfe8d84a0e/day11/src/day11.adb

This starts to get inelegant pretty fast… :sweat_smile:

[cunger][2][Ada] https://github.com/cunger/100hoursofada/blob/6fc241c27aa4b2fba7ffb4a32144cd7a4e84e2c5/aoc2023/src/02/

[jrcarter][11][Ada] https://github.com/jrcarter/AoA_23/blob/eca8404f87123fac36ee13e14b233657426c14c1/aoa_11_1.adb

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

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

Still lagging behind, but learning. :v:

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

1 Like

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

[cantanima][12][Ada]https://github.com/johnperry-math/AoC2023/blob/f638b0cced69cd1b1b5a96be37cf3f3f1ce897a5/day12/src/day12.adb

“Slow is smooth. Smooth is fast.” :snail:

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

1 Like

[jrcarter][12][Ada] https://github.com/jrcarter/AoA_23/blob/006aefcad6ec7e8911b07037341fe15b1f90864c/aoa_12_1.adb

[jrcarter][13][Ada] https://github.com/jrcarter/AoA_23/blob/62b34b4a73019174f92d071254ec6c46d89289a9/aoa_13_1.adb

[cantanima][13][Ada]https://github.com/johnperry-math/AoC2023/blob/6389716e93d0acfa32da5e7dc1adc8bf1c1b639a/day13/src/day13.adb

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