Ada 2022 Reference Card

github.comsite

Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   gems ada-lang.io

   Ada Gem Archive.

   site link ↗
   site
2. ▲

   adacore-blog blog.adacore.com

   An insight into the AdaCore ecosystem.

   site link ↗
   
3. ▲

   SweetAda github.com

   A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.

   tool topic programming link ↗
   
4. ▲

   spark-guidance adacore.com

   Implementation Guidance for the Adoption of SPARK.

   site link ↗
   
5. ▲

   iso-standard ada-auth.org

   The 2022 revision to the Ada Standard, usually known as Ada 2022.

   site link ↗
   site
6. ▲

   anet codelabs.ch

   Networking library for the Ada programming language.

   site topic programming link ↗
   site

Ada/SPARK › Education > Reference: “Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library.”