The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Using AI and formal methods to build software
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
Ada for micro:bit Part 5: Analog Output
Fabien Chouteau