| | Safe and Secure Software: An Invitation to Ada 2012 (2015) [pdf] (adacore.com) |
| 3 points by kbp on March 4, 2018 | past |
|
| | Ada on the micro:bit (adacore.com) |
| 3 points by pjmlp on Feb 27, 2018 | past |
|
| | Tokeneer Fully Verified with SPARK 2014 (adacore.com) |
| 2 points by touisteur on Feb 26, 2018 | past |
|
| | Bitcoin Blockchain in Ada: Lady Ada Meets Satoshi Nakamoto (adacore.com) |
| 2 points by gregorymichael on Feb 15, 2018 | past |
|
| | Leveraging Ada Run-Time Checks with Fuzz Testing in AFL (adacore.com) |
| 6 points by touisteur on Dec 19, 2017 | past | 1 comment |
|
| | There's a mini RTOS in my language (adacore.com) |
| 159 points by inamberclad on Nov 24, 2017 | past | 24 comments |
|
| | Physical Units Pass the Generic Test (adacore.com) |
| 1 point by touisteur on Nov 18, 2017 | past |
|
| | Highlighting Ada with Libadalang (adacore.com) |
| 5 points by gusthoff on Aug 8, 2017 | past |
|
| | The Adaroombot Project (adacore.com) |
| 1 point by gusthoff on June 20, 2017 | past |
|
| | Ada on the first RISC-V micro-controller (adacore.com) |
| 2 points by Fabien_C on June 13, 2017 | past |
|
| | (Many) More Low Hanging Bugs [Ada] (adacore.com) |
| 1 point by AndreyKarpov on May 5, 2017 | past |
|
| | Writing on Air with Ada (adacore.com) |
| 3 points by pjmlp on March 28, 2017 | past |
|
| | Writing on Air with Ada (adacore.com) |
| 2 points by sconxu on March 27, 2017 | past |
|
| | Getting started with the Ada Drivers Library device drivers (adacore.com) |
| 4 points by pjmlp on March 4, 2017 | past |
|
| | Make with Ada: From bits to music (adacore.com) |
| 2 points by _zhqs on Dec 18, 2016 | past |
|
| | Make with Ada: DIY instant camera (adacore.com) |
| 1 point by Fabien_C on Dec 12, 2016 | past |
|
| | How to avoid runtime errors on drones using SPARK (2015) (adacore.com) |
| 53 points by 0srv on Oct 22, 2016 | past | 23 comments |
|
| | Developing highly secure systems – Praxis [pdf] (adacore.com) |
| 1 point by FieryTransition on Oct 18, 2016 | past |
|
| | A Comparison of SPARK with MISRA C and Frama-C [pdf] (adacore.com) |
| 1 point by pjmlp on Oct 11, 2016 | past |
|
| | GNAT Programming Studio on GitHub (adacore.com) |
| 4 points by pron on Sept 12, 2016 | past |
|
| | C library bindings: GCC plugins to the rescue (adacore.com) |
| 5 points by Fabien_C on June 13, 2016 | past |
|
| | Make with Ada: ARM Cortex-M CNC controller (adacore.com) |
| 63 points by Fabien_C on June 1, 2016 | past | 13 comments |
|
| | Formal verification of legacy code after 10 years of production use (adacore.com) |
| 2 points by alexamici on March 13, 2016 | past |
|
| | Make with Ada: Candy dispenser, with a twist (adacore.com) |
| 1 point by pjmlp on March 3, 2016 | past |
|
| | Porting the Ada Runtime to a New ARM Board (adacore.com) |
| 4 points by pjmlp on Jan 22, 2016 | past |
|
| | Safe and Secure Software – An Invitation to Ada 2012 (adacore.com) |
| 37 points by pjmlp on Dec 28, 2015 | past | 4 comments |
|
| | Porting a formally proven Tetris to a Pebble smartwatch in Ada (adacore.com) |
| 67 points by iamwil on Nov 11, 2015 | past | 27 comments |
|
| | Make with Ada: From bits to music (adacore.com) |
| 2 points by Raphael_Amiard on Aug 10, 2015 | past |
|
| | RIP Robert Dewar (adacore.com) |
| 2 points by gh7 on July 8, 2015 | past |
|
| | French Intelligence Bill: A Minority Report (adacore.com) |
| 1 point by jk4930 on April 26, 2015 | past |
|
|
| More |
