Blog
An Insight Into the AdaCore Ecosystem
Dec 01, 2025
Fabien Chouteau
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Advent of Ada/SPARK is back! Solve Advent of Code 2025 challenges in Ada/SPARK and help us raise up to $5,000 for Ada Developers Academy.
Read More
Sep 21, 2009
Gem #70: The Scope Locks Idiom
Sep 07, 2009
Gem #69: Let's SPARK! — Part 2
Jun 29, 2009
Gem #68: Let's SPARK! — Part 1
Jun 15, 2009
Gem #67: Managing the GPS Workspace
Jun 01, 2009
Gem #66: GPS's Key Shortcuts Editor
May 18, 2009
Gem #65: gprbuild
May 04, 2009
Gem #64: Handling Multiple-Unit Source Files
Apr 21, 2009
Gem #63: The Effect of Pragma Suppress
Apr 06, 2009
Gem #62: C++ constructors and Ada 2005
Mar 23, 2009
Gem #61: Interfacing with C++ constructors
Mar 09, 2009
Gem #60: Generating Ada bindings for C++ headers
Feb 23, 2009