Bibliothèques écrites en Ada
synth
Suivant Outil de construction D/Ports pour les systèmes en direct (Alternative pour les outils Portmaster et Portupgrade) (par jrmarino).
- 244
- ISC
alire
Outil de ligne de commande du projet Alire et bibliothèque de support.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Code source Ada et exemples complets de projets GNAT pour certaines plates-formes de cartes nues prises en charge par GNAT.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 est la nouvelle version de SPARK, une technologie de développement logiciel spécialement conçue pour l'ingénierie d'applications à haute fiabilité.
- 208
- GNU General Public License v3.0 only
ada_language_server
Serveur implémentant le Microsoft Language Protocol pour Ada et SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example est une adaptation d'ACSL by Example pour SPARK 2014, un langage de programmation qui est un sous-ensemble formellement vérifié d'Ada.
- 146
aws
AWS est un cadre complet pour développer des applications Web en Ada. (par AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 réimplémentation de la bibliothèque de chiffrement TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Spécification formelle et génération d'analyseurs binaires vérifiables, de générateurs de messages et de machines d'état de protocole.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Framework pour créer des applications Web sécurisées hautes performances.
- 85
- Apache License 2.0
bare_bones
Code source du didacticiel de développement Ada Bare Bones OS.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild est un système de construction avancé conçu pour aider à automatiser la construction de systèmes multilingues.
- 55
- GNU General Public License v3.0
svd2ada
Un générateur de liaison Ada à partir des descriptions SVD pour les appareils ARM à carte nue.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Ce projet contient divers systèmes d'exécution GNAT Ada (RTS) destinés aux cartes Cortex: jusqu'à présent, l'Arduino Due, les cartes d'évaluation de la série STM32F4 de STMicroelectronics et le BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only
VSS
Bibliothèque de chaînes et de traitement de texte de haut niveau.
- 46
- GNU General Public License v3.0