Blog
An Insight Into the AdaCore Ecosystem
Year in Review 2025: A Transformative Year for High-Integrity Software at AdaCore
Andrea Bristol
Ada is back in the TIOBE Index top 20
The March edition of the TIOBE Index shows Ada in the top 20, hitting position 18. This shows a renewed interest in Ada, perhaps due to the increased…
M. Anthony Aiello
Let’s Write a Safety Monitor for a Mars Rover!
The Ada Mars Rover shouldn’t crash into obstacles. See how we formalized this property, discovered an unstated assumption in our remote-control mode…
Pat Rogers
Ada in Practice, a New Learn Course
A new Learn course is now available, focusing on how to use the Ada language to express common idioms, both language-dependent and -independent.
Charis Fisher, Cléa Mendelewski
Building the Future: My Path from Software Research to Leadership
To celebrate Global Engineering Day, we’re looking at what it’s like to work as a truly global engineer, collaborating with international colleagues…
Justin Squirek
A new math library for Ada: Neo.SIMD
Developing a game engine often requires a highly optimized linear algebra library for tasks like physics, camera movement, and AI. While many…
Ben Brosgol
Verifying FACE® Conformance for Ada Software
The FACE® approach (Future Airborne Capability Environment®) is a joint government-industry initiative to reduce system life cycle costs for airborne…
Olivier Henley
Open-Source Ada: From Gateware to Application
The Neorv32 BIOS project demonstrates how Ada can serve as a powerful alternative to C in open-source embedded development. Using a fully open-source…
Fabien Chouteau
Ada/SPARK Crate Of The Year 2024 Winners Announced!
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we…
Fabien Chouteau
Advent of Ada/SPARK 2024 Results
At the end of November, we called the Ada and SPARK programmers community to take on a challenge for a good cause. For each person completing one of…
Jose Ruiz
GNAT Pro 25: New Features, Platforms, and Tools
2025 is a new year of growth for the GNAT Pro family to help people develop safe, secure, and efficient code on a large variety of software and…
César Sagaert
Learning Ada with raytraced teapots
Introducing the Ada language with a fun 3D rendering project
Paul Butcher
Building Safety by Design: CHERI in Critical Systems Development
Paul Butcher, the Secure Avioincs by Design Project Manager for AdaCore, discusses the usage of CHERI in safety-critical software.