
Blog
An Insight Into the AdaCore Ecosystem

Advent of Ada/SPARK 2025 Results

Romain Gora
Rust Memory Management: The Playroom Analogy
This article builds on 'Introduction to Ada: a project-based exploration with rosettas', which walked through the development of a fun, end-to-end…

Andrea Bristol
Surprising Places Where Ada Is Used
Ada has entered the top 10 of the PYPL index, reflecting renewed interest in a language long associated with safety-critical and real-time systems.…

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…

Mark Hermeling
MISRA for Memory Safety
MISRA is the top coding standard for C/C++ in embedded systems, but its full adherence is often impractical. Its rules can be split into three…

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.

Andrea Bristol
Highlights from the High Integrity Software Conference 2025
The High Integrity Software Conference (HISC) returned to the International Convention Centre Wales (ICC Wales) on 13 November 2025. HISC once again…

Andrea Bristol
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy

Ben Brosgol
A New Booklet on AdaCore Technologies for Airborne Software
AdaCore has posted a new version of its booklet AdaCore Technologies for Airborne Software: Supporting certification and tool qualification for…

Andrea Bristol
What would Ada think of the rise in Ada Language Popularity?
This Ada Lovelace Day, we are celebrating what has been a positive year for the Ada Programming Language, and we ask ourselves, what would Ada think?…

Elisa Bell
From Interns to New Hires: Writing the Next Chapter at AdaCore
Mathéo Rome, Anne-Lise Magagnin, and Julian Coux share their experiences as interns at AdaCore, where they worked on independent projects while being…

Stephen Hedrick
Navigating Mars with Rust: Helping the Rover See In Computer Vision
This blog explores how Rust enables computer vision on a Mars rover, overcoming hardware limits to deliver reliable obstacle detection and autonomous…

Romain Gora
Introduction to Ada: a project-based exploration with rosettas
Discover Ada through a fun, project-based tutorial! Learn the language’s clarity, safety, and modern features while building an SVG rosetta…


