
Blog
An Insight Into the AdaCore Ecosystem

Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy
Read More
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
Ada for micro:bit Part 4: Pin Input

Fabien Chouteau, Emma Adby
AdaCore Code of Conduct

Fabien Chouteau
Ada for micro:bit Part 3: Pin Output
Welcome to the Ada for micro:bit series where we look at simple examples to learn how to program the BBC micro:bit with Ada.

Michael Frank
Code Obfuscator for Ada using Libadalang and SPARK
A code obfuscator is a method of sharing coding discussions of real-world examples without giving away proprietary or classified information. This…

Fabien Chouteau


