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
edit- 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
editLibraries and frameworks
edit- 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
edit- 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
edit- Ada.Numerics — libraries for numerical methods, linear algebra, and mathematical functions.
- SPARK math libraries — formal-methods-compliant numerical routines[16]
Verification, debugging, and analysis
editTesting frameworks
editDocumentation and code generation
edit- GNATdoc — generates HTML documentation from Ada source code[23]
See also
editExternal links
edit- 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
edit- ↑ https://www.adacore.com/gnat
- ↑ "GNAT Pro".
- ↑ "Ada Compiler, Ada95, Embedded C, Embedded Tools, Compilers, Full Program Analysis, Static Code Analysis, Multicore".
- ↑ "Ada Development Tools for Windows, Linux, or UNIX | PTC".
- ↑ "GNAT Studio".
- ↑ "Emacsmirror/Ada-mode". GitHub.
- ↑ https://www.adacore.com/gnatbench
- ↑ "GNATbench | Eclipse Plugins, Bundles and Products - Eclipse Marketplace | Eclipse Foundation".
- ↑ "AdaCore/Ada_language_server". GitHub.
- ↑ "5. Using SOAP — AWS: Ada Web Server 26.0w documentation".
- ↑ "AdaCore/Aws". GitHub.
- ↑ "12. The GNAT Library — GNAT Reference Manual 26.0w documentation".
- ↑ "Space &Time Partitioning with ARINC 653 and pragma Profile" (PDF). Archived (PDF) from the original on 2005-11-04. Retrieved 2025-09-26.
- ↑ 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. hdl:2117/189546.
- ↑ "Guide for the use of the Ada Ravenscar Profile in high integrity systems" (PDF). Archived (PDF) from the original on 2005-02-25. Retrieved 2025-09-26.
- ↑ "5.11. SPARK Libraries — SPARK User's Guide 26.0w".
- ↑ "7. Formal Verification with GNATprove — SPARK User's Guide 26.0w".
- ↑ "GNATstack".
- ↑ "GNATcoverage".
- ↑ "AdaControl".
- ↑ "AUnit Cookbook".
- ↑ "GNATtest".
- ↑ "AdaCore/Gnatdoc". GitHub.
- "Tools | Libre". Archived from the original on 2012-07-17. Retrieved 2025-11-27.