| | 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 |
|
| | Making an RC Car with Ada and Spark (adacore.com) |
| 8 points by pjmlp on March 11, 2020 | past |
|
| | Getting Rid of Rust with Ada (adacore.com) |
| 4 points by bitmapper on Feb 26, 2020 | past |
|
| | Using Gnat-LLVM to Target Ada to WebAssembly (adacore.com) |
| 1 point by pjmlp on Feb 4, 2020 | past |
|
| | About Spark 2014 (adacore.com) |
| 1 point by Tomte on Dec 2, 2019 | past |
|
| | Pointer Based Data-Structures in Spark/Ada (adacore.com) |
| 1 point by gusthoff on Oct 10, 2019 | past |
|
| | Proof of code with pointers now possible in SPARK using pledges (adacore.com) |
| 33 points by pjmlp on Oct 9, 2019 | past | 4 comments |
|
| | Combining GNAT with LLVM (adacore.com) |
| 64 points by samuell on Oct 1, 2019 | past | 29 comments |
|
|
| More |
