# \[Charity\] Advent of Ada/SPARK 2023 Submissions
**URL:** https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562
**Category:** Advent of Code
**Tags:** spark
**Created:** [December 1, 2023, 10:46am UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562 "2023-12-01T10:46:13Z")
**Posts on this page:** 20
**Page:** 2
### Author:  [@thierr26](https://forum.ada-lang.io/u/thierr26)
#### Post date: [December 3, 2023, 3:16pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/21 "2023-12-03T15:16:01Z")
[thierr26][3][Ada] [GitHub - thierr26/advent\_of\_code: Some Advent of Code puzzle solutions in Ada](https://github.com/thierr26/advent_of_code)
---
### Author:  [@JC001](https://forum.ada-lang.io/u/JC001)
#### Post date: [December 3, 2023, 4:39pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/22 "2023-12-03T16:39:25Z")
[jrcarter][3][Ada] [https://github.com/jrcarter/AoA\_23/blob/d1a150489db27ef25cc1c4fa5ed2241dc906546d/aoa\_03\_1.adb](https://github.com/jrcarter/AoA_23/blob/d1a150489db27ef25cc1c4fa5ed2241dc906546d/aoa_03_1.adb)
---
### Author:  [@rocher](https://forum.ada-lang.io/u/rocher)
#### Post date: [December 3, 2023, 6:00pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/23 "2023-12-03T18:00:41Z")
[rocher][3][Ada] [https://github.com/rocher/advent-of-code/tree/main/2023/03](https://github.com/rocher/advent-of-code/tree/main/2023/03)
---
### Author:  [@pfarmer630](https://forum.ada-lang.io/u/pfarmer630)
#### Post date: [December 3, 2023, 7:52pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/24 "2023-12-03T19:52:26Z")
[Paul-Farmer][1][Ada][GitHub - PaulFarmerM814/AdventOfCode2023](https://github.com/PaulFarmerM814/AdventOfCode2023.git)
---
### Author:  [@pfarmer630](https://forum.ada-lang.io/u/pfarmer630)
#### Post date: [December 3, 2023, 7:53pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/25 "2023-12-03T19:53:29Z")
[Paul-Farmer][2][Ada] [GitHub - PaulFarmerM814/AdventOfCode2023](https://github.com/PaulFarmerM814/AdventOfCode2023.git)
---
### Author:  [@pfarmer630](https://forum.ada-lang.io/u/pfarmer630)
#### Post date: [December 3, 2023, 7:54pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/26 "2023-12-03T19:54:01Z")
[Paul-Farmer][3][Ada] [GitHub - PaulFarmerM814/AdventOfCode2023](https://github.com/PaulFarmerM814/AdventOfCode2023.git)
---
### Author:  [@zertovitch](https://forum.ada-lang.io/u/zertovitch)
#### Post date: [December 3, 2023, 8:58pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/27 "2023-12-03T20:58:00Z")
[zertovitch][3][Ada][(examples) Added Advent of Code 2023, Day 3 · zertovitch/hac@ed63143 · GitHub](https://github.com/zertovitch/hac/commit/ed63143be824afeea7628c11d85572613cd569b5)
---
### Author:  [@RREE](https://forum.ada-lang.io/u/RREE)
#### Post date: [December 3, 2023, 9:59pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/28 "2023-12-03T21:59:03Z")
[RREE][1][Ada] [https://github.com/RREE/AoC/tree/main/2023/01](https://github.com/RREE/AoC/tree/main/2023/01)
---
### Author:  [@RREE](https://forum.ada-lang.io/u/RREE)
#### Post date: [December 3, 2023, 9:59pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/29 "2023-12-03T21:59:33Z")
[RREE][2][Ada] [https://github.com/RREE/AoC/tree/main/2023/02](https://github.com/RREE/AoC/tree/main/2023/02)
---
### Author:  [@zertovitch](https://forum.ada-lang.io/u/zertovitch)
#### Post date: [December 4, 2023, 7:11am UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/30 "2023-12-04T07:11:49Z")
[zertovitch][4][Ada][(examples) Added Advent of Code 2023, Day 4 · zertovitch/hac@8191059 · GitHub](https://github.com/zertovitch/hac/commit/8191059af743f891e60a1dd1712ad26f4f71aa5f)
---
### Author:  [@RREE](https://forum.ada-lang.io/u/RREE)
#### Post date: [December 4, 2023, 10:06am UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/31 "2023-12-04T10:06:34Z")
[RREE][3][Ada] [https://github.com/RREE/AoC/tree/main/2023/03](https://github.com/RREE/AoC/tree/main/2023/03)
---
### Author:  [@RREE](https://forum.ada-lang.io/u/RREE)
#### Post date: [December 4, 2023, 11:24am UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/32 "2023-12-04T11:24:40Z")
[RREE][4][Ada] [https://github.com/RREE/AoC/tree/main/2023/04](https://github.com/RREE/AoC/tree/main/2023/04)
---
### Author:  [@JC001](https://forum.ada-lang.io/u/JC001)
#### Post date: [December 4, 2023, 2:47pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/33 "2023-12-04T14:47:01Z")
[jrcarter][4][Ada] [https://github.com/jrcarter/AoA\_23/blob/cb2b86d236902f8453abfe7f03455021dc1361cd/aoa\_04\_1.adb](https://github.com/jrcarter/AoA_23/blob/cb2b86d236902f8453abfe7f03455021dc1361cd/aoa_04_1.adb)
---
### Author:  [@rocher](https://forum.ada-lang.io/u/rocher)
#### Post date: [December 4, 2023, 5:22pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/34 "2023-12-04T17:22:36Z")
[rocher][4][Ada] [https://github.com/rocher/advent-of-code/tree/main/2023/04](https://github.com/rocher/advent-of-code/tree/main/2023/04)
---
### Author:  [@cantanima](https://forum.ada-lang.io/u/cantanima)
#### Post date: [December 4, 2023, 11:37pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/35 "2023-12-04T23:37:57Z")
[cantanima][4][Ada][https://github.com/johnperry-math/AoC2023/blob/f0a5357f7e7e363afacb153d95dad5cb3ef66752/day4/src/day4.adb](https://github.com/johnperry-math/AoC2023/blob/f0a5357f7e7e363afacb153d95dad5cb3ef66752/day4/src/day4.adb)
---
### Author:  [@cantanima](https://forum.ada-lang.io/u/cantanima)
#### Post date: [December 4, 2023, 11:38pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/36 "2023-12-04T23:38:30Z")
@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?
---
### Author:  [@cantanima](https://forum.ada-lang.io/u/cantanima)
#### Post date: [December 5, 2023, 9:01am UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/37 "2023-12-05T09:01:41Z")
[cantanima][5][Ada][https://github.com/johnperry-math/AoC2023/blob/bb47732eb88d7e1bed2f93eb4adbaef9322fabac/day5/src/day5.adb](https://github.com/johnperry-math/AoC2023/blob/bb47732eb88d7e1bed2f93eb4adbaef9322fabac/day5/src/day5.adb)
---
### Author:  [@Fabien.C](https://forum.ada-lang.io/u/Fabien.C)
#### Post date: [December 5, 2023, 11:30am UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/38 "2023-12-05T11:30:32Z")
> [@cantanima](#):
>
> I remember there was an issue with formatting last year. Does it matter if there’s a space between the final `]` and the link?
What’s after the last `]` doesn’t matter 👍
---
### Author:  [@Fabien.C](https://forum.ada-lang.io/u/Fabien.C)
#### Post date: [December 5, 2023, 11:30am UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/39 "2023-12-05T11:30:51Z")
[Fabien-Chouteau][1][Ada] [https://github.com/Fabien-Chouteau/adventofcode-ada/blob/1b495dae3ccafde22a5db1370fb7ec91ee849612/2023/src/day\_01.adb](https://github.com/Fabien-Chouteau/adventofcode-ada/blob/1b495dae3ccafde22a5db1370fb7ec91ee849612/2023/src/day_01.adb)
---
### Author:  [@zertovitch](https://forum.ada-lang.io/u/zertovitch)
#### Post date: [December 5, 2023, 6:21pm UTC](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562/40 "2023-12-05T18:21:39Z")
[zertovitch][5][Ada][(examples) Added Advent of Code 2023, Day 5 · zertovitch/hac@c1764e7 · GitHub](https://github.com/zertovitch/hac/commit/c1764e7a19d9dc13cc1531684697582c4d2e1726)
- 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.
[Previous page](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562.md?page=1)
[Next page](https://forum.ada-lang.io/t/charity-advent-of-ada-spark-2023-submissions/562.md?page=3)