my-server
← Wiki

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

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

See also:
  • — date and time library
  • — support for RESTful and SOAP web services
  • — standard library for text input/output
  • – open-source implementation of the POSIX Ada bindings
  • – Ada compiler part of GCC, which also provides an extensive runtime and library package hierarchy.
  • – Ada bindings for the GTK+ graphical user interface toolkit
  • – multipurpose Ada framework supporting Unicode, XML, JSON, and more.
  • – XML and Unicode processing library

Real-time and embedded systems

  • — built-in concurrency support with tasks, protected objects, and rendezvous.
  • — 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

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

See also

External links

References