The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Sep 14, 2026
M. Anthony Aiello
GNAT Foundry Intersection: Demonstrating Trustworthy AI Development
GNAT Foundry demos AdaCore's tools providing deterministic trust in artifacts produced by AI, yielding trustworthy, high-integrity AI development at…
Read More
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
Gem #59: Generating Ada bindings for C headers
Feb 09, 2009