Librerie scritte in Ada
synth
Avanti D/Ports strumento di creazione per sistemi live (alternativa agli strumenti Portmaster e Portupgrade) (di jrmarino).
- 244
- ISC
alire
Strumento a riga di comando del progetto Alire e libreria di supporto.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Codice sorgente Ada e progetti GNAT di esempio completi per piattaforme bare-board selezionate supportate da GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 è la nuova versione di SPARK, una tecnologia di sviluppo software specificamente progettata per ingegnerizzare applicazioni ad alta affidabilità.
- 208
- GNU General Public License v3.0 only
ada_language_server
Server che implementa il Microsoft Language Protocol per Ada e SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example è un adattamento di ACSL by Example per SPARK 2014, un linguaggio di programmazione che è un sottoinsieme formalmente verificato di Ada.
- 146
aws
AWS è un framework completo per sviluppare applicazioni basate sul Web in Ada. (di AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
Reimplementazione SPARK 2014 della libreria crittografica TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Specifica formale e generazione di parser binari verificabili, generatori di messaggi e macchine a stati di protocollo.
- 92
- GNU Affero General Public License v3.0
ada-awa
Applicazione Web Ada - Framework per creare applicazioni Web sicure ad alte prestazioni.
- 85
- Apache License 2.0
bare_bones
Codice sorgente del tutorial di sviluppo del sistema operativo Ada Bare Bones.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild è un sistema di compilazione avanzato progettato per aiutare ad automatizzare la costruzione di sistemi multilingue.
- 55
- GNU General Public License v3.0
svd2ada
Un generatore di binding Ada dalle descrizioni SVD per dispositivi ARM a scheda nuda.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Questo progetto contiene vari GNAT Ada Run Time Systems (RTS) destinati alle schede Cortex: finora, Arduino Due, le schede di valutazione della serie STM32F4 di STMicroelectronics e BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only
VSS
Libreria di elaborazione di testi e stringhe di alto livello.
- 46
- GNU General Public License v3.0