Blog
An Insight Into the AdaCore Ecosystem
Apr 14, 2026
M. Anthony Aiello
Challenging Agentic AI with SPARK using OpenUxAS
“How well does generative AI do with writing Ada?” The simple answer is: “quite well!” But the details are also interesting, so I encourage you to…
Read More
Apr 02, 2020
Roderick Chapman
Proving properties of constant-time crypto code in SPARKNaCl
Over the last few months, I developed a SPARK version of the TweetNaCl cryptographic library. This was made public on GitHub in February 2020, under…
Mar 17, 2020
Ghjuvan Lacambre
Time travel debugging in GNAT Studio with GDB and RR
Learn how to use GDB and RR's advanced time traveling features in GNAT Studio.
Mar 12, 2020
Maxim Reznik
Android application with Ada and WebAssembly
Mar 10, 2020
Pat Rogers
Making an RC Car with Ada and SPARK
Feb 06, 2020
Pierre-Marie de Rodat
A Further Expedition into Libadalang: Save Time with Libadalang.Helpers.App
Feb 04, 2020
Vadim Godunko
Using GNAT-LLVM to target Ada to WebAssembly
Jan 30, 2020
Fabien Chouteau
AdaCore at FOSDEM 2020
Jan 23, 2020
Fabien Chouteau
Ada on a Feather
I was quite happy to see AdaFruit release their first Feather format board including a micro-controller with plenty of Ada support, the STM32F4. I…
Jan 21, 2020
Quentin Ochem
Witnessing the Emergence of a New Ada Era
Dec 11, 2019
Paul Butcher
AdaCore for HICLASS - Enabling the Development of Complex and Secure Aerospace Systems
Nov 07, 2019
Martyn Pike
An Expedition into Libadalang
Oct 17, 2019
Alexander Senier
RecordFlux: From Message Specifications to SPARK Code
Handling binary data is hard. Errors in parsers routinely lead to critical security vulnerabilities. In this post we show how the RecordFlux toolset…