| | Going Beyond Ada 2022 (adacore.com) |
| 11 points by todsacerdoti on June 3, 2021 | past |
|
| | Gnat 2021 GPL Community Edition Ada 202x compiler released (adacore.com) |
| 101 points by berkeleynerd on May 28, 2021 | past | 81 comments |
|
| | An Introduction to Jorvik, the New Tasking Profile in Ada 202x (adacore.com) |
| 2 points by MaxBarraclough on May 26, 2021 | past |
|
| | From Rust to Spark: Formally Proven Bip-Buffers (adacore.com) |
| 84 points by pjmlp on May 6, 2021 | past | 7 comments |
|
| | On the Benefits of Families (Entry Families) (adacore.com) |
| 1 point by todsacerdoti on April 29, 2021 | past |
|
| | SPARK Ada for the Misra C Developer (adacore.com) |
| 4 points by pjmlp on April 26, 2021 | past |
|
| | Ada for the C++ and Java Developer [pdf] (adacore.com) |
| 152 points by pjmlp on March 28, 2021 | past | 70 comments |
|
| | Doubling the Performance of SPARKNaCl (Again) (adacore.com) |
| 1 point by thindil on Feb 18, 2021 | past |
|
| | Performance Analysis and Tuning of SPARKNaCl (adacore.com) |
| 2 points by todsacerdoti on Feb 9, 2021 | past |
|
| | Ada on any ARM Cortex-M device, in just a couple minutes (adacore.com) |
| 3 points by pjmlp on Jan 11, 2021 | past |
|
| | Ada 202x Support in Gnat (adacore.com) |
| 2 points by zyper22 on Dec 27, 2020 | past |
|
| | Advanced Fuzz Testing with AFL++ 3.0 (adacore.com) |
| 3 points by touisteur on Dec 18, 2020 | past | 1 comment |
|
| | First beta release of Alire, the package manager for Ada/SPARK (adacore.com) |
| 86 points by meowphius on Nov 1, 2020 | past | 21 comments |
|
| | Ada 202x Support in Gnat (adacore.com) |
| 4 points by andrenth on Oct 30, 2020 | past |
|
| | Ada 202x Support in Gnat (adacore.com) |
| 8 points by Jtsummers on Oct 29, 2020 | past |
|
| | Formal Verification of Legacy Code (2016) (adacore.com) |
| 1 point by Jtsummers on Sept 25, 2020 | past |
|
| | Safe and Secure Software (2015) [pdf] (adacore.com) |
| 2 points by Jtsummers on Sept 22, 2020 | past |
|
| | Using Pointers in Spark (adacore.com) |
| 1 point by Jtsummers on Sept 21, 2020 | past |
|
| | Introduction to Ada (adacore.com) |
| 206 points by jayp1418 on Sept 3, 2020 | past | 184 comments |
|
| | What Is Ada and Spark? (adacore.com) |
| 3 points by doener on Sept 1, 2020 | past |
|
| | Relaxing the Data Initialization Policy of Spark/Ada (adacore.com) |
| 2 points by gusthoff on July 31, 2020 | past |
|
| | AdaCore’s Fifth Annual Make with Ada Programming Competition Launching July 31st (adacore.com) |
| 3 points by pjmlp on July 30, 2020 | past |
|
| | CuBit: A General-Purpose Operating System in Spark/Ada (adacore.com) |
| 3 points by ccake on June 10, 2020 | past |
|
| | CuBit: A General-Purpose Operating System in Spark/Ada (adacore.com) |
| 7 points by illuminated on June 10, 2020 | past |
|
| | About Spark 2014 (adacore.com) |
| 1 point by Tomte on June 4, 2020 | past |
|
| | GNAT Community 2020 is here (adacore.com) |
| 3 points by pjmlp on May 28, 2020 | past | 2 comments |
|
| | AdaCore GNATPro Community 2020 Released (adacore.com) |
| 1 point by berkeleynerd on May 22, 2020 | past |
|
| | From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks (adacore.com) |
| 2 points by pjmlp on May 15, 2020 | past |
|
| | Ada on the ESP8266 (adacore.com) |
| 3 points by pjmlp on May 9, 2020 | past |
|
| | Android Application with Ada and WebAssembly (adacore.com) |
| 5 points by pjmlp on March 13, 2020 | past |
|
|
| More |
