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, [List of List of numerical libraries|numerical libraries|numerical] and scientific computing libraries, and related projects.
Compilers
- GNAT β GCC Ada compiler and toolchain, maintained by AdaCore
- AdaCore GNAT Pro β commercial Ada compiler with advanced tooling for high-integrity and real-time systems
- Green Hills compiler for Ada β Ada compiler for embedded and safety-critical systems
- ObjectAda β Ada development environment for safety-critical and embedded systems
Integrated development environments (IDEs) and editors
- GNAT Studio β IDE developed by AdaCore
- Emacs β supports Ada editing with Ada mode and syntax checking
- Eclipse β supports Ada through GNATbench plugin
- Visual Studio Code β Ada support via Ada Language Server extensions
Libraries and frameworks
- Ada.Calendar β date and time library
- Ada Web Services β support for RESTful and SOAP web services
- 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.
- 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
- OpenMP Ada bindings β parallel programming for multi-core embedded systems
- Ravenscar profile β subset of Ada tasking for real-time and deterministic execution
Numerical and scientific computing
- Ada.Numerics β libraries for numerical methods, linear algebra, and mathematical functions.
- SPARK math libraries β formal-methods-compliant numerical routines
Verification, debugging, and analysis
- GNATprove β formal verification and static analysis tool for Ada and SPARK
- GNATstack β runtime stack analysis and checking
- GNATcoverage β code coverage measurement for Ada projects
- AdaControl β style checking and metrics for Ada
Testing frameworks
- AUnit β unit testing framework for Ada
- GNATtest β automated testing framework for Ada
Documentation and code generation
- GNATdoc β generates HTML documentation from Ada source code