
Blog
An Insight Into the AdaCore Ecosystem

Formal Methods Practice and Theory

Fabien Chouteau
Mini SAM M4 Ada BSP
Beyond the great look, the Mini SAM M4 provide a powerful 120 Mhz Microchip SAMD51 Cortex-M microcontroller, a couple of LEDs and a user…

Léo Germond
How To: GNAT Pro with Docker

Fabien Chouteau
Ada on any ARM Cortex-M device, in just a couple minutes
In this blog post I want to present a new tool that allows one to very quickly and easily start Ada programming on any ARM Cortex-M or RISC-V…

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


