Blog
An Insight Into the AdaCore Ecosystem
Mar 05, 2026
Frederic Leger, Nicolas Roche
AdaCore Software Supply Chain Security Evolution
AdaCore has elevated its software supply chain practices and now generates its deliverables in a CMMC Level 2 and SLSA build level 3 compliant…
Read More
Jan 26, 2009
Gem #57: Ada / Java cross dispatching
Jan 12, 2009
Gem #56: Creating Ada to Java calls using GNAT-AJIS
Dec 08, 2008
Gem #55: Introduction to Ada / Java Interfacing
Nov 24, 2008
Gem #54: Scripting Capabilities in GNAT (Part 2)
Nov 17, 2008
Gem #53: Safe and Secure Software: Chapter 12: Conclusion
Nov 10, 2008
Gem #52: Scripting Capabilities in GNAT (Part 1)
Nov 03, 2008
Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK
Oct 27, 2008
Gem #50: Overload Resolution
Oct 20, 2008
Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency
Oct 13, 2008
Gem #48: Extending Interfaces in Ada 2005
Oct 06, 2008
Gem #47: Safe and Secure Software : Chapter 9, Safe Communication
Sep 29, 2008