Lista de software y herramientas de Ada

Esta es una lista de software y herramientas de programación para el lenguaje de programación Ada , que incluye entornos de desarrollo integrados (IDE) , compiladores , bibliotecas , herramientas de verificación y depuración, bibliotecas de computación numérica y científica , y proyectos relacionados.

• GNAT — Compilador y conjunto de herramientas GCC Ada, mantenido por AdaCore ^{[ 1 ]}
• AdaCore GNAT Pro: compilador Ada comercial con herramientas avanzadas para sistemas de alta integridad y en tiempo real ^{[ 2 ].}
• Compilador Green Hills para Ada — Compilador Ada para sistemas embebidos y de seguridad crítica ^{[ 3 ]}
• ObjectAda — Entorno de desarrollo Ada para sistemas embebidos y de seguridad crítica ^{[ 4 ]}

• GNAT Studio — IDE desarrollado por AdaCore ^{[ 5 ]}
• Emacs — admite la edición de Ada con el modo Ada y la comprobación de sintaxis ^{[ 6 ]}
• Eclipse — admite Ada a través del complemento GNATbench ^{[ 7 ] [ 8 ]}
• Visual Studio Code : compatibilidad con Ada mediante extensiones del servidor de lenguaje Ada ^{[ 9 ]}

Ver también: Bibliotecas Ada en Wikilibros

• Ada.Calendar — biblioteca de fechas y horas
• Servicios web Ada (AWS) : soporte para servicios web RESTful y SOAP ^{[ 10 ] [ 11 ]}
• Ada.Text_IO : biblioteca estándar para entrada/salida de texto.
• Florist (enlace POSIX Ada) – implementación de código abierto de los enlaces POSIX Ada
• GNAT – Compilador Ada parte de GCC , que también proporciona una extensa jerarquía de paquetes de bibliotecas y tiempo de ejecución. ^{[ 12 ]}
• GtkAda : enlaces Ada para el kit de herramientas de interfaz gráfica de usuario GTK+
• Matreshka : un marco de trabajo Ada multipropósito que admite Unicode , XML , JSON y más.
• XML/Ada – Biblioteca para el procesamiento de XML y Unicode

• Tareas de Ada : soporte integrado para la concurrencia con tareas, objetos protegidos y rendezvous.
• Ada.Real_Time : relojes en tiempo real, retardos y programación.
• Perfiles ARINC 653 Ada — para aplicaciones de aviónica en tiempo real ^{[ 13 ]}
• Enlaces OpenMP Ada: programación paralela para sistemas embebidos multinúcleo ^{[ 14 ]}
• Perfil Ravenscar : subconjunto de tareas de Ada para ejecución determinista y en tiempo real ^{[ 15 ].}

• Ada.Numerics : bibliotecas para métodos numéricos, álgebra lineal y funciones matemáticas.
• Bibliotecas matemáticas SPARK: rutinas numéricas compatibles con métodos formales ^{[ 16 ]}

• GNATprove: herramienta de verificación formal y análisis estático para Ada y SPARK ^{[ 17 ].}
• GNATstack: análisis y comprobación de la pila en tiempo de ejecución ^{[ 18 ]}
• GNATcoverage: medición de la cobertura de código para proyectos Ada ^{[ 19 ]}
• AdaControl — comprobación de estilo y métricas para Ada ^{[ 20 ]}

• AUnit — marco de pruebas unitarias para Ada ^{[ 21 ]}
• GNATtest — marco de pruebas automatizadas para Ada ^{[ 22 ]}

• GNATdoc — genera documentación HTML a partir del código fuente de Ada ^{[ 23 ]}

• Software de alta integridad
• Listas de herramientas de desarrollo de software de programación por lenguaje
• SPARK (lenguaje de programación) — lenguaje de programación informática definido formalmente basado en el lenguaje Ada .
• Programación en Ada de Wikibooks

• AdaCore: GNAT, SPARK y otras herramientas de Ada.
• Centro de Intercambio de Información de la ADA
• Awesome-Ada : lista de GitHub de software y herramientas Ada.
• Herramientas Ada gratuitas y de código abierto
• Compilador GNAT/GCC Ada

• "Herramientas | Libre" . Archivado del original el 17 de julio de 2012. Consultado el 27 de noviembre de 2025 .