Resources
Your hub for AdaCore knowledge
Latest Blog Posts
Olivier Henley
How Evolutek Used Ada to Build Their CanSat
AdaCore supports practical engineering projects that help students apply technical concepts to real-world problems. As part of this effort, AdaCore sponsored Evolutek who entered the field of…
Tobias Reiher
Enabling Rust on the AMD Zynq UltraScale+ MPSoC
In this post, we’re sharing our journey of building a dedicated crate that provides support for the…
Kyriakos Georgiou
Hardware-Driven Security: Can CHERI Fix the "Blind Spots" of Software Testing?
This work combines fuzz testing with CHERI hardware. Unlike heuristic-based sanitizers, CHERI uses…
M. Anthony Aiello
GNAT IQ
AdaCore is delighted to announce unlimited access to GNAT IQ, AdaCore’s AI-powered GNAT…
Case Studies
Zenseact Chooses SPARK for Automotive Safety
Zenseact is a software company that designs the complete software stack for autonomous driving and advanced driver-assistance systems. Recently, the…
BNP Paribas: The Critical Role of Pricer Software in Banking and Finance
BNP Paribas Global Markets’ main challenge in this instance was to develop a risk calculation engine capable of accurately processing millions of…
deepsense.ai: Copilot for Ada programming language to boost developer productivity
The Copilot for Ada programming language project aimed to research and develop a proof-of-concept code completion tool and evaluate its performance…
