List of Ada software and tools

From HandWiki
Short description: Ada software and development 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[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

  • 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


References

  1. ↑ https://www.adacore.com/gnat
  2. ↑ "GNAT Pro". https://www.adacore.com/gnatpro. 
  3. ↑ "Ada Compiler, Ada95, Embedded C, Embedded Tools, Compilers, Full Program Analysis, Static Code Analysis, Multicore". https://www.ghs.com/products/ada_optimizing_compilers.html. 
  4. ↑ "Ada Development Tools for Windows, Linux, or UNIX | PTC". https://www.ptc.com/en/products/developer-tools/objectada. 
  5. ↑ "GNAT Studio". https://www.adacore.com/gnatpro/toolsuite/gps. 
  6. ↑ "Emacsmirror/Ada-mode". https://github.com/emacsmirror/ada-mode. 
  7. ↑ https://www.adacore.com/gnatbench
  8. ↑ "GNATbench | Eclipse Plugins, Bundles and Products - Eclipse Marketplace | Eclipse Foundation". https://marketplace.eclipse.org/content/gnatbench. 
  9. ↑ "AdaCore/Ada_language_server". https://github.com/AdaCore/ada_language_server. 
  10. ↑ "5. Using SOAP — AWS: Ada Web Server 26.0w documentation". https://docs.adacore.com/live/wave/aws/html/aws_ug/using_soap.html. 
  11. ↑ "AdaCore/Aws". https://github.com/AdaCore/aws. 
  12. ↑ "12. The GNAT Library — GNAT Reference Manual 26.0w documentation". https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/the_gnat_library.html. 
  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. 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". https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html. 
  17. ↑ "7. Formal Verification with GNATprove — SPARK User's Guide 26.0w". https://docs.adacore.com/spark2014-docs/html/ug/en/gnatprove.html. 
  18. ↑ "GNATstack". https://www.adacore.com/gnatpro/toolsuite/gnatstack. 
  19. ↑ "GNATcoverage". https://www.adacore.com/gnatcoverage. 
  20. ↑ "AdaControl". https://www.adalog.fr/en/adacontrol.html. 
  21. ↑ "AUnit Cookbook". https://www.adacore.com/documentation/aunit-cookbook. 
  22. ↑ "GNATtest". https://www.adacore.com/dynamic-analysis/gnattest. 
  23. ↑ "AdaCore/Gnatdoc". https://github.com/AdaCore/gnatdoc. 



Retrieved from "https://handwiki.org/wiki/index.php?title=List_of_Ada_software_and_tools&oldid=3985629"