Bibliotecas escritas en Ada
synth
Siguiente herramienta de compilación D/Ports para sistemas en vivo (Alternativa para las herramientas Portmaster y Portupgrade) (por jrmarino).
- 244
- ISC
alire
Herramienta de línea de comandos del proyecto Alire y biblioteca de apoyo.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Código fuente de Ada y proyectos completos de GNAT de muestra para plataformas de placa base seleccionadas compatibles con GNAT.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 es la nueva versión de SPARK, una tecnología de desarrollo de software diseñada específicamente para aplicaciones de ingeniería de alta confiabilidad.
- 208
- GNU General Public License v3.0 only
ada_language_server
Servidor que implementa el Protocolo de idioma de Microsoft para Ada y SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example es una adaptación de ACSL by Example para SPARK 2014, un lenguaje de programación que es un subconjunto formalmente verificado de Ada.
- 146
aws
AWS es un marco completo para desarrollar aplicaciones basadas en web en Ada. (por AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 reimplementación de la biblioteca criptográfica TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Especificación formal y generación de analizadores binarios verificables, generadores de mensajes y máquinas de estado de protocolo.
- 92
- GNU Affero General Public License v3.0
ada-awa
Aplicación web Ada: marco para crear aplicaciones web seguras de alto rendimiento.
- 85
- Apache License 2.0
bare_bones
Código fuente del tutorial de desarrollo de Ada Bare Bones OS.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild es un sistema de construcción avanzado diseñado para ayudar a automatizar la construcción de sistemas multilingües.
- 55
- GNU General Public License v3.0
svd2ada
Un generador de enlaces Ada de descripciones de SVD para dispositivos ARM de placa base.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Este proyecto contiene varios sistemas de tiempo de ejecución (RTS) GNAT Ada destinados a placas Cortex: hasta ahora, Arduino Due, las placas de evaluación de la serie STM32F4 de STMicroelectronics y BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only
VSS
Biblioteca de procesamiento de texto y cadenas de alto nivel.
- 46
- GNU General Public License v3.0