Hacker News
- A learning platform to teach the Ada and SPARK programming languages https://learn.adacore.com/ 31 comments
- Learning Ada: new e-book gathering all the learn.adacore.com content https://learn.adacore.com/ 12 comments ada
- Learn Ada and SPARK https://learn.adacore.com/index.html 7 comments ada
- New interactive site to learn the Ada language & program proving in SPARK https://learn.adacore.com/ 37 comments programming
Linking pages
- ~ajxs/Giving Ada a Chance https://ajxs.me/blog/Giving_Ada_a_chance.html 295 comments
- Ada 2012 http://www.ada2012.org 71 comments
- GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language https://github.com/ohenley/awesome-ada 28 comments
- New Learn Course: Introduction To Embedded Systems… | The AdaCore Blog https://blog.adacore.com/new-learn-course-introduction-to-embedded-systems-programming 22 comments
- Announcing The First Ada/SPARK Crate Of The Year… | The AdaCore Blog https://blog.adacore.com/announcing-the-first-ada-spark-crate-of-the-year-award 13 comments
- Ada programmers: Fabien Chouteau | Tomek Wałkuski https://tomekw.com/ada-programmers-fabien-chouteau/ 13 comments
- GitHub - tofgarion/spark-by-example: SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada https://github.com/tofgarion/spark-by-example 10 comments
- Ada 2012 Rationale | AdaCore http://www.adacore.com/knowledge/technical-papers/ada-2012-rationale/ 10 comments
- Ada for the C++ or Java Developer | AdaCore http://www.adacore.com/knowledge/technical-papers/ada-for-the-c-or-java-developer/#sthash.y0abilst.sfju 10 comments
- AdaCore’s Fifth Annual Make with Ada Programming… | AdaCore https://www.adacore.com/press/5th-annual-make-with-ada-competition 9 comments
- Safe Dynamic Memory Management in Ada and SPARK | AdaCore https://www.adacore.com/papers/safe-dynamic-memory-management-in-ada-and-spark 6 comments
- Announcing the 2023 Ada/SPARK Crate of the Year⦠| The AdaCore Blog https://blog.adacore.com/announcing-the-2023-ada-spark-crate-of-the-year-award 5 comments
- From Ada to Platinum SPARK: A Case Study for⦠| The AdaCore Blog https://blog.adacore.com/from-ada-to-platinum-spark-a-case-study-for-reusable-bounded-stacks 4 comments
- Recursive Data Structures in SPARK | AdaCore https://www.adacore.com/papers/recursive-data-structures-in-spark 4 comments
- AdaCore Announces Winners for Third Annual “Make with Ada”… | AdaCore https://www.adacore.com/press/adacore-announces-winners-for-third-make-with-ada-competition 3 comments
- Announcing The 2022 Ada/SPARK Crate Of The Year… | The AdaCore Blog https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award 2 comments
- GitHub - lasp/adamant: Adamant - An embedded software framework https://github.com/lasp/adamant 2 comments
- The Work of Proof in SPARK | AdaCore https://www.adacore.com/papers/work-of-proof-in-spark 1 comment
- Layered Formal Verification of a TCP Stack | AdaCore https://www.adacore.com/papers/layered-formal-verification-of-a-tcp-stack 1 comment
- Announcing Updates to learn.adacore.com | The AdaCore Blog https://blog.adacore.com/learn-2021-updates 1 comment
Related searches:
Search whole site: site:learn.adacore.com
Search title: LEARN.ADACORE.COM — learn.adacore.com
See how to search.