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.

• 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]

• 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]

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

• 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]

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

• 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]

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

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

• 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

• 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

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