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
Feb 04, 2014
Gem #156: Listing Control in GNAT
Dec 09, 2013
Gem #155: Enhancing the GPRBuild Database for a New Language
Oct 28, 2013
Gem #154: Multicore Maze Solving, Part 2
Oct 09, 2013
Gem #153: Multicore Maze Solving, Part 1
Sep 23, 2013
Gem #152 : Defining a New Language in a Project File
Jul 01, 2013
Gem #151 : Specifying Mathematical Properties of Programs
Jun 17, 2013
Gem #150: Out and Uninitialized
Jun 03, 2013
Gem #149 : Asserting the truth, but (possibly) not the whole truth
May 20, 2013
Gem #148 : Su(per)btypes in Ada 2012 - Part 3
May 06, 2013
Gem #147 : Su(per)btypes in Ada 2012 - Part 2
Apr 22, 2013
Gem #146 : Su(per)btypes in Ada 2012 - Part 1
Apr 08, 2013