| | There's a mini-RTOS in my language (2017) (adacore.com) |
| 2 points by bibyte on July 19, 2019 | past |
|
| | Using Pointers in Spark (adacore.com) |
| 2 points by touisteur on June 28, 2019 | past |
|
| | RFCs for Ada and Spark Evolution Now on GitHub (adacore.com) |
| 7 points by pjmlp on June 11, 2019 | past |
|
| | Using Pointers in Ada Spark (adacore.com) |
| 1 point by fanf2 on June 7, 2019 | past |
|
| | Pointers in SPARK/Ada inspired by Rust ownership model (adacore.com) |
| 4 points by atombender on June 6, 2019 | past | 1 comment |
|
| | Pointers in SPARK/Ada inspired by rust ownership model (adacore.com) |
| 2 points by pjmlp on June 6, 2019 | past |
|
| | Using SPARK to Prove 255-Bit Integer Arithmetic from Curve25519 (adacore.com) |
| 54 points by based2 on May 11, 2019 | past | 10 comments |
|
| | About Spark 2014 (adacore.com) |
| 1 point by Tomte on April 28, 2019 | past |
|
| | AdaCore Announces Winners for Third Annual “Make with Ada” Competition (adacore.com) |
| 2 points by pplonski86 on March 27, 2019 | past |
|
| | Ten Years of Using SPARK to Build CubeSat Nano Satellites with Students (adacore.com) |
| 91 points by pjmlp on March 3, 2019 | past | 39 comments |
|
| | Spark Ada for the Misra C Developer (adacore.com) |
| 6 points by pjmlp on Feb 21, 2019 | past |
|
| | Highly portable (and safer) Web server in Ada (adacore.com) |
| 5 points by pjmlp on Feb 12, 2019 | past |
|
| | Nvidia Using Ada and SPARK (adacore.com) |
| 6 points by Raphael_Amiard on Feb 8, 2019 | past |
|
| | AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support (adacore.com) |
| 110 points by pjmlp on Feb 2, 2019 | past | 14 comments |
|
| | Ada/SPARK tutorial (adacore.com) |
| 6 points by pplonski86 on Jan 24, 2019 | past |
|
| | Proving Memory Operations – A SPARK Journey (adacore.com) |
| 5 points by pjmlp on Jan 8, 2019 | past |
|
| | About SPARK 2014 (adacore.com) |
| 2 points by Tomte on Dec 25, 2018 | past |
|
| | How Ada and SPARK Can Increase the Security of Your Software (adacore.com) |
| 3 points by johnisgood on Dec 6, 2018 | past |
|
| | Train Control Using Ada on a Raspberry Pi (adacore.com) |
| 6 points by ScottWRobinson on Sept 19, 2018 | past |
|
| | Ada on FPGAs with PicoRV32 (adacore.com) |
| 73 points by gusthoff on Sept 11, 2018 | past | 6 comments |
|
| | Safe Dynamic Memory Management in Ada and SPARK [pdf] (adacore.com) |
| 4 points by blue_tongue on July 28, 2018 | past |
|
| | Introduction to SPARK (adacore.com) |
| 3 points by Jtsummers on July 25, 2018 | past |
|
| | A learning platform to teach the Ada and SPARK programming languages (adacore.com) |
| 81 points by xeeeeeeeeeeenu on July 25, 2018 | past | 31 comments |
|
| | Safe Dynamic Memory Management in Ada and SPARK (adacore.com) |
| 32 points by touisteur on July 24, 2018 | past | 5 comments |
|
| | About SPARK 2014 (adacore.com) |
| 2 points by Tomte on July 18, 2018 | past |
|
| | SPARKZumo: Ada and SPARK on Any Platform (Part 2) (adacore.com) |
| 7 points by gusthoff on April 4, 2018 | past |
|
| | Getting Rid of Rust with Ada (adacore.com) |
| 4 points by gregorymichael on April 2, 2018 | past |
|
| | Getting Rid of Rust with Ada (adacore.com) |
| 7 points by based2 on April 1, 2018 | past |
|
| | SPARKZumo: Ada and SPARK on Any Platform (Part 1) (adacore.com) |
| 5 points by gusthoff on March 28, 2018 | past |
|
| | Secure Software Architectures Based on Genode OS Framework and SPARK/Ada (adacore.com) |
| 7 points by gusthoff on March 6, 2018 | past | 1 comment |
|
|
| More |
