Ada @programming.dev Ada @programming.dev 3y ago 🏆 Ada/SPARK Crate of the Year Award 2023: Only Two Months Left to Submit! blog.adacore.com /announcing-the-2023-ada-spark-crate-of-the-year-award
Ada @programming.dev Ada @programming.dev 3y ago Ada 2022: New Standard Completed and Call for Contributions!
Ada @programming.dev Ada @programming.dev 3y ago Ada Monthly Meeting in November forum.ada-lang.io /t/ada-monthly-meeting/384/19
