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
Jan 14, 2013
Gem #139 : Master the Command Line - Part 2
Dec 10, 2012
Gem #138 : Master the Command Line - Part 1
Nov 26, 2012
Gem #137: Ada Quiz 2 - An Heir and a Spare?
Nov 12, 2012
Gem #136: How tall is a kilogram?
Oct 29, 2012
Gem #135 : Erroneous Execution - Part 4
Oct 15, 2012
Gem #134 : Erroneous Execution - Part 3
Sep 24, 2012
Gem #133 : Erroneous Execution - Part 2
Sep 10, 2012
Gem #132 : Erroneous Execution - Part 1
Aug 07, 2012
Gem #131 : Type-Safe Database API - Part 3
Jul 23, 2012
Gem #130 : Type-Safe Database API - Part 2
Jul 09, 2012
Gem #129 : Type-Safe Database API - Part 1
Jun 25, 2012