The Ada/SPARK community is at FOSDEM this weekend. Stop by the Ada-Europe booth (Building K, level 2) to have a chat ๐#FOSDEM #AdaLang
Reading view
https://fosstodon.org/@AdaProgrammers/109581233441372148
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