| 1. | | Introduction to Embedded Systems Programming (Ada) (adacore.com) |
| 135 points by gusthoff on Nov 21, 2022 | past | 19 comments |
|
| 2. | | Clap: CLever Audio Plugin (github.com/free-audio) |
| 2 points by gusthoff on June 15, 2022 | past |
|
| 3. | | Updates to Learn Ada Website (adacore.com) |
| 7 points by gusthoff on March 30, 2022 | past |
|
| 4. | | Announcing updates to Learn Ada website (adacore.com) |
| 2 points by gusthoff on March 26, 2022 | past |
|
| 5. | | Cookbook for the new Ada Wavefile Library v2.0.0 (github.com/ada-audio) |
| 2 points by gusthoff on Jan 7, 2021 | past |
|
| 6. | | Relaxing the Data Initialization Policy of Spark/Ada (adacore.com) |
| 2 points by gusthoff on July 31, 2020 | past |
|
| 7. | | Pointer Based Data-Structures in Spark/Ada (adacore.com) |
| 1 point by gusthoff on Oct 10, 2019 | past |
|
| 8. | | Securing the Future of Safe Autonomous Driving (nvidia.com) |
| 6 points by gusthoff on Feb 6, 2019 | past |
|
| 9. | | Dolby SATS (Software Audio Test Suite) (github.com/dolbylaboratories) |
| 4 points by gusthoff on Nov 11, 2018 | past |
|
| 10. | | EwoK: secure embedded micro-kernel using SPARK/Ada formal verification (github.com/wookey-project) |
| 5 points by gusthoff on Sept 26, 2018 | past |
|
| 11. | | Ada on FPGAs with PicoRV32 (adacore.com) |
| 73 points by gusthoff on Sept 11, 2018 | past | 6 comments |
|
| 12. | | SPARKZumo: Ada and SPARK on Any Platform (Part 2) (adacore.com) |
| 7 points by gusthoff on April 4, 2018 | past |
|
| 13. | | SPARKZumo: Ada and SPARK on Any Platform (Part 1) (adacore.com) |
| 5 points by gusthoff on March 28, 2018 | past |
|
| 14. | | Secure Software Architectures Based on Genode OS Framework and SPARK/Ada (adacore.com) |
| 7 points by gusthoff on March 6, 2018 | past | 1 comment |
|
| 15. | | Assessing the Ada Language for Audio Applications (electronicdesign.com) |
| 72 points by gusthoff on Nov 10, 2017 | past | 22 comments |
|
| 16. | | Highlighting Ada with Libadalang (adacore.com) |
| 5 points by gusthoff on Aug 8, 2017 | past |
|
| 17. | | The Adaroombot Project (adacore.com) |
| 1 point by gusthoff on June 20, 2017 | past |
|
