- 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 Discussion: should Ada have its own FOSDEM DevRoom?
Ada @programming.dev Should I choose Ada, SPARK, or Rust over C/C++?
Ada @programming.dev A new year of Capstones: A Recap of the last Projects
Ada @programming.dev Ada GameDev Part 3: Enjoy Video Games Programming with Raylib
Ada @programming.dev YouTube: Ada Monthly Meetup - September 2024
Ada @programming.dev Getting Started with Renode: Simulating an Ada STM32F429disco Blinky…
Ada @programming.dev Ada Developers Workshop videos and slides are public
Ada @programming.dev Should Have Used Ada (SHUA) #1 - Goto fail
Ada @programming.dev What's new in Ada Utility Library 2.7.0
Ada @programming.dev YouTube: Ada Developer Workshop
Ada @programming.dev Ada/SPARK Crate of the Year (2024) Award
Ada @programming.dev Alire on Open Collective 💸
Ada @programming.dev Ada Developers Workshop
Ada @programming.dev GCC 14 in Alire (preview)
Ada @programming.dev AdaCore: Creating Your Own Ada/SPARK Coding Standard
Ada @programming.dev Ada Developers Workshop
Ada @programming.dev AdaCore: Elevate Security Confidence with Memory Safe Hardware and Software
Ada @programming.dev GCC 14 release brings Ada/GNAT improvements
Ada @programming.dev New GNAT Studio Continuous Release 20240506
Ada @programming.dev How to run Ada and SPARK code on NVIDIA GPUs and CUDA