The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Information Hiding and Context Management in SPARK
Paul Butcher
Finding Vulnerabilities using Advanced Fuzz testing and AFLplusplus v3.0
Juliana Silva
Make with Ada 2020: ADArrose
Juliana Silva
Make with Ada 2020: The autonomous firetruck
The AFT (Autonomous FireTruck) is a prototype of an autonomous firetruck that can put out fire without risking people's lives. This project won a…
Juliana Silva
Make with Ada 2020: Ada Robot Car With Neural Network
Guillermo Perez's project won a finalist prize in the Make with Ada 2019/20 competition. This project was originally posted on Hackster.io here. For…
Fabien Chouteau
Ada for micro:bit Part 8: Music to my ears
Fabien Chouteau
First beta release of Alire, the package manager for Ada/SPARK
A few years ago we realized that having a package manager for the Ada/SPARK community would be a game changer. Since then, AdaCore has been…
Arnaud Charlet
Ada 202x support in GNAT
Juliana Silva
Make With Ada 2020: High Integrity Sumobot
Fabien Chouteau
Ada for micro:bit Part 7: Accelerometer
Juliana Silva
Make with Ada 2020: CHIP-8 Interpreter
Laurent Zhu's and Damien Grisonnet's project was accomplished for the EPITA Ada courses and won a finalist prize in the Make with Ada 2019/20…
Fabien Chouteau
Ada for micro:bit Part 6: Analog Input
Fabien Chouteau