- Community site: ada-lang.io
- Learning Ada: learn.adacore.com
- Posts
- 124
- Comments
- 5
- Joined
- 3 yr. ago
- Posts
- 124
- Comments
- 5
- Joined
- 3 yr. ago
Ada @programming.dev Programming Ada: First Steps On The Desktop
Ada @programming.dev GetAda release 1.0.0
Ada @programming.dev Alire in Debian and Ubuntu
Ada @programming.dev Will Ada Replace C/C++?
Ada @programming.dev Wee Noise Makers PGB-1
Ada @programming.dev Muen version 1.1 released
Ada @programming.dev Proving Software Security with SPARK Pro
Ada @programming.dev Ada Developer Workshop @ AEiC 2024
Ada @programming.dev Come and see Ada+WebAssembly in action!
Ada @programming.dev Alire v2.0.0 release! 🎉
Ada @programming.dev YouTube: Ada Meetup - 2024 March
Ada @programming.dev Ada Monthly Meeting March 2024 topics
Ada @programming.dev Benchmarking the Generic Image Decoder (GID)
Ada @programming.dev The release candidate for Alire 2.0 is available now!
Ada @programming.dev Ada's success story at LatenceTech
Ada @programming.dev Memory Safety with Formal Proof Webinar
Ada @programming.dev Ada User Journal Volume 43, 2022/4
Ada @programming.dev Ada on NetBSD!
Ada @programming.dev Post-quantum key exchange in Ada & SPARK
Ada @programming.dev 📆 Ada Monthly Meeting: March 2024