A curated list of awesome resources related to the Ada and SPARK programming language
Depends on the libs, see [Awesome Ada][https://github.com/ohenley/awesome-ada]
Ada/SPARK binding for the littlefs flash embedded filesystem
And an example in one of my project: https://github.com/Fabien-Chouteau/littlefs-ada
Developer Ecosystem Survey 2022. Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.
Lessons Learnt Moving a GTK Application from Go to Ada
2 projects | reddit.com/r/ada | 11 Mar 2022
Open discussion: Ada needs import (?)
1 project | reddit.com/r/ada | 10 Jan 2022
Alire has reached 200 Crates!
3 projects | reddit.com/r/ada | 8 Jan 2022
Is Ada used only for embedded systems?
2 projects | reddit.com/r/ada | 6 Nov 2021
What can i actually do with Ada?
2 projects | reddit.com/r/ada | 27 Sep 2021