Blog
An Insight Into the AdaCore Ecosystem
Dec 15, 2025
Andrea Bristol
Year in Review 2025: A Transformative Year for High-Integrity Software at AdaCore
As 2025 comes to a close, it’s clear that this has been one of the most significant years in AdaCore’s history. Our work to help organisations build…
Read More
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
Gem #58: Ada / Java exception handling
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