Top Qs
Timeline
Chat
Perspective
List of Ada software and tools
Ada software and development tools From Wikipedia, the free encyclopedia
Remove ads
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
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
Testing frameworks
Documentation and code generation
- GNATdoc — generates HTML documentation from Ada source code[23]
See also
External links
- 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
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads