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

Submissions for the Ada, SPARK and embedded Alire crates of the year are open until December 31st. Doesn't have to be a project you started in 2022, any project in the Alire ecosystem can participate.

https://github.com/AdaCore/Ada-SPARK-Crate-Of-The-Year

#Ada #SPARK #MakewithAda #CrateOfTheYear