iso-standard

ada-auth.orgsite

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

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   ada-safe-secure adacore.com

   Safe and Secure Software. An invitation to Ada 2012.

   site topic programming link ↗
   site
2. ▲

   asis2xml github.com

   Converts Ada sources' ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.

   tool link ↗
   
3. ▲

   adalib github.com

   Standard Ada library specification as defined in Reference Manual.

   tool link ↗
   
4. ▲

   Ada 2022 Reference Card github.com

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

   site link ↗
   site
5. ▲

   ada-distilled adaic.org

   Ada Distilled for Ada 2005.

   site link ↗
   site
6. ▲

   json-ada github.com

   An Ada 2012 library for parsing JSON.

   tool link ↗
   

Ada/SPARK › Education > Reference: “The 2022 revision to the Ada Standard, usually known as Ada 2022.”