There is a specific AoC Ada leaderboard created by the ada-lang.io community, so you may follow the hall of fame.
Feel free to join AoC Ada leaderboard, code to join is 1708445-6a8f7730 - rocher.