- 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 Why Aerospace and Railways Rely on Ada Programming?
Ada @programming.dev Advent of Ada/SPARK 2024 Results
Ada @programming.dev GNAT Pro 25: New Features, Platforms, and Tools
Ada @programming.dev : Ada for Game Developers: A taste of Vulkan
Ada @programming.dev Learning Ada with raytraced teapots
Ada @programming.dev Programming Ada: Atomics And Other Low-Level Details
Ada @programming.dev : Ada for Game Developers: Linked Lists
Ada @programming.dev FOSDEM 2025 - Program for Ada Developer Room
Ada @programming.dev FOSDEM 2025 - Program for Ada Developer Room
Ada @programming.dev AdaCore: Security by Default - CHERI ISA coupled with Ada
Ada @programming.dev Programming Languages used in Aircraft
Ada @programming.dev Announcing Advent of Ada 2024: Coding for a Cause!
Ada @programming.dev AdaCore: 25 Release Notes
Ada @programming.dev learn.adacore.com: New Advanced Ada contents
Ada @programming.dev FOSDEM 2025 will have Ada room!
Ada @programming.dev Ada for Game Developers: Using SDL
Ada @programming.dev The Ada Rapporteur Group has a website. The draft ARM is on it.
Ada @programming.dev Alire v2.0.2 release
Ada @programming.dev Ada User Society has a site!
Ada @programming.dev Ironclad received an nlnet grant!
