asis2xml

github.comtool

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

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   j2ada github.com

   Translator for a Java valid source code in Ada source code.

   tool link ↗
   tool
2. ▲

   xmlada github.com

   The XML/Ada toolkit.

   tool link ↗
   
3. ▲

   iso-standard ada-auth.org

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

   site link ↗
   site
4. ▲

   ada-bin2asc github.com

   Various binary-to-ASCII codecs such as Base64.

   tool link ↗
   
5. ▲

   spark-xml github.com

   A formally verified XML library in SPARK.

   tool link ↗
   
6. ▲

   OpenAS2 (⭐237) github.com

   Java-based open-source implementation of the AS2 protocol for secure, signed, and encrypted document exchange over HTTP.

   tool link ↗
   

Ada/SPARK › Applications > Generators and Translators: “Converts Ada sources' ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.”