The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Jun 25, 2026
Fabien Chouteau
Announcing the 2026 Ada/SPARK Crate of the Year Award
We're happy to announce the sixth edition of our programming awards, The Ada/SPARK Crate of the Year Award!
Read More
Nov 26, 2007
Gem #19: XML streaming of Ada objects
Nov 19, 2007
Gem #18: Warnings in GNAT
Nov 12, 2007
Gem #17: Pragma No_Return, Part 2 (functions)
Nov 05, 2007
Gem #16: Pragma No_Return
Oct 29, 2007
Gem #15: Timers
Oct 22, 2007
Gem #14: Interrupt Handling Idioms (Part 2)
Oct 15, 2007
Gem #13: Interrupt Handling Idioms (Part 1)
Oct 08, 2007
Gem #12: Limited Types in Ada 2005 — <> Notation Part 2
Oct 01, 2007
Gem #11: Limited Types in Ada 2005 — Constructor Functions Part 2
Sep 24, 2007
Gem #10: Limited Types in Ada 2005 — Extended Return Statements
Sep 17, 2007
Gem #9: Classwide Operations, Iterators, and Generic Algorithms
Sep 10, 2007