https://fosstodon.org/@AdaProgrammers/109805799542074602
4 February 2023 at 09:38
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! ๐๐ #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award