[Charity] Advent of Ada/SPARK 2023 Submissions

Advent of Code
21

[thierr26][3][Ada] GitHub - thierr26/advent_of_code: Some Advent of Code puzzle solutions in Ada

22

[jrcarter][3][Ada] https://github.com/jrcarter/AoA_23/blob/d1a150489db27ef25cc1c4fa5ed2241dc906546d/aoa_03_1.adb

23

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

24

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

1 Like
25

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

26

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

27

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

28

[RREE][1][Ada] https://github.com/RREE/AoC/tree/main/2023/01

1 Like
29

[RREE][2][Ada] https://github.com/RREE/AoC/tree/main/2023/02

30

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

31

[RREE][3][Ada] https://github.com/RREE/AoC/tree/main/2023/03

32

[RREE][4][Ada] https://github.com/RREE/AoC/tree/main/2023/04

33

[jrcarter][4][Ada] https://github.com/jrcarter/AoA_23/blob/cb2b86d236902f8453abfe7f03455021dc1361cd/aoa_04_1.adb

34

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

35

[cantanima][4][Ada]https://github.com/johnperry-math/AoC2023/blob/f0a5357f7e7e363afacb153d95dad5cb3ef66752/day4/src/day4.adb

36

@Fabien.C
I remember there was an issue with formatting last year. Does it matter if there’s a space between the final ] and the link?

37

[cantanima][5][Ada]https://github.com/johnperry-math/AoC2023/blob/bb47732eb88d7e1bed2f93eb4adbaef9322fabac/day5/src/day5.adb

38

What’s after the last ] doesn’t matter :+1:

1 Like
39

[Fabien-Chouteau][1][Ada] https://github.com/Fabien-Chouteau/adventofcode-ada/blob/1b495dae3ccafde22a5db1370fb7ec91ee849612/2023/src/day_01.adb

40

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

  • Test #77 in HAC’s regression suite
  • Spotted and fixed a funny bug in HAC for this nonsensical program: procedure x is k : constant end; a.
    This kind of code happens when you are working on your program and LEA compiles it “on the fly” for providing auto-complete and other goodies.