List of Ada software and tools

This is a list of software and programming tools for the Ada programming language, including IDEs, compilers, libraries, verification and debugging tools, numerical and scientific computing libraries, and related projects.

Compilers

See also: List of Ada compilers

• GNAT — GCC Ada compiler and toolchain, maintained by AdaCore ^[1]
• AdaCore GNAT Pro — commercial Ada compiler with advanced tooling for high-integrity and real-time systems ^[2]
• Green Hills compiler for Ada — Ada compiler for embedded and safety-critical systems ^[3]
• ObjectAda — Ada development environment for safety-critical and embedded systems ^[4]

Integrated development environments (IDEs) and editors

See also: Comparison of integrated development environments for Ada

• GNAT Studio — IDE developed by AdaCore ^[5]
• Emacs — supports Ada editing with Ada mode and syntax checking ^[6]
• Eclipse — supports Ada through GNATbench plugin ^{[7] [8]}
• Visual Studio Code — Ada support via Ada Language Server extensions ^[9]

Libraries and frameworks

See also: Ada Libraries on Wikibooks

• Ada.Calendar — date and time library
• Ada Web Services (AWS) — support for RESTful and SOAP web services ^{[10] [11]}
• Ada.Text_IO — standard library for text input/output
• Florist (POSIX Ada binding) – open-source implementation of the POSIX Ada bindings
• GNAT – Ada compiler part of GCC, which also provides an extensive runtime and library package hierarchy. ^[12]
• GtkAda – Ada bindings for the GTK+ graphical user interface toolkit
• Matreshka – multipurpose Ada framework supporting Unicode, XML, JSON, and more.
• XML/Ada – XML and Unicode processing library

Real-time and embedded systems

• Ada tasking — built-in concurrency support with tasks, protected objects, and rendezvous.
• Ada.Real_Time — real-time clocks, delays, and scheduling.
• ARINC 653 Ada profiles — for avionics real-time applications ^[13]
• OpenMP Ada bindings — parallel programming for multi-core embedded systems ^[14]
• Ravenscar profile — subset of Ada tasking for real-time and deterministic execution ^[15]

Numerical and scientific computing

• Ada.Numerics — libraries for numerical methods, linear algebra, and mathematical functions.
• SPARK math libraries — formal-methods-compliant numerical routines ^[16]

Verification, debugging, and analysis

• GNATprove — formal verification and static analysis tool for Ada and SPARK ^[17]
• GNATstack — runtime stack analysis and checking ^[18]
• GNATcoverage — code coverage measurement for Ada projects ^[19]
• AdaControl — style checking and metrics for Ada ^[20]

Testing frameworks

• AUnit — unit testing framework for Ada ^[21]
• GNATtest — automated testing framework for Ada ^[22]

Documentation and code generation

• GNATdoc — generates HTML documentation from Ada source code ^[23]

See also

• High-integrity software
• Lists of programming software development tools by language
• SPARK (programming language) — formally defined computer programming language based on the Ada language
• Wikibooks Ada Programming

External links

• AdaCore — GNAT, SPARK, and other Ada tools
• Ada Information Clearinghouse
• Awesome-Ada – GitHub list of Ada software and tools
• Free and open-source Ada tools
• GNAT / GCC Ada compiler

References

1. https://www.adacore.com/gnat
2. "GNAT Pro".
3. "Ada Compiler, Ada95, Embedded C, Embedded Tools, Compilers, Full Program Analysis, Static Code Analysis, Multicore".
4. "Ada Development Tools for Windows, Linux, or UNIX | PTC".
5. "GNAT Studio".
6. "Emacsmirror/Ada-mode". GitHub .
7. https://www.adacore.com/gnatbench
8. "GNATbench | Eclipse Plugins, Bundles and Products - Eclipse Marketplace | Eclipse Foundation".
9. "AdaCore/Ada_language_server". GitHub .
10. "5. Using SOAP — AWS: Ada Web Server 26.0w documentation".
11. "AdaCore/Aws". GitHub .
12. "12. The GNAT Library — GNAT Reference Manual 26.0w documentation".
13. https://www.sigada.org/ada_letters/dec2003/11_Tokar_final.pdf
14. Royuela, Sara; Pinho, Luís Miguel; Quiñones, Eduardo (May 2020). "Enabling Ada and OpenMP runtimes interoperability through template-based execution". Journal of Systems Architecture. 105 101702. doi:10.1016/j.sysarc.2019.101702.
15. https://www.open-std.org/jtc1/sc22/wg9/n424.pdf
16. "5.11. SPARK Libraries — SPARK User's Guide 26.0w".
17. "7. Formal Verification with GNATprove — SPARK User's Guide 26.0w".
18. "GNATstack".
19. "GNATcoverage".
20. "AdaControl".
21. "AUnit Cookbook".
22. "GNATtest".
23. "AdaCore/Gnatdoc". GitHub .

• https://www.adacore.com/gnat
• https://libre.adacore.com/tools/