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).
- 235
- ISC
Ada_Drivers_Library
Code source Ada et exemples complets de projets GNAT pour certaines plates-formes de cartes nues prises en charge par GNAT.
- 191
- BSD 3-clause "New" or "Revised"
alire
Outil de ligne de commande du projet Alire et bibliothèque de support.
- 156
- GNU General Public License v3.0 only
ada_language_server
Serveur implémentant le Microsoft Language Protocol pour Ada et SPARK.
- 149
- GNU General Public License v3.0 only
aws
AWS est un cadre complet pour développer des applications Web en Ada. (par AdaCore).
- 104
- GNU General Public License v3.0
RecordFlux
Spécification formelle des messages et génération d'analyseurs binaires vérifiables et de générateurs de messages.
- 84
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Framework pour créer des applications Web sécurisées hautes performances.
- 73
- Apache License 2.0
bare_bones
Code source du didacticiel de développement Ada Bare Bones OS.
- 72
- GNU General Public License v3.0
svd2ada
Un générateur de liaison Ada à partir des descriptions SVD pour les appareils ARM à carte nue.
- 49
- 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.
- 45
- GNU General Public License v3.0 only
VSS
Bibliothèque de chaînes et de traitement de texte de haut niveau.
- 36
- Indépendants du système d'exploitation
- GNU General Public License v3.0
dashera
DasherA est une réécriture de mon émulateur de terminal Data General DASHER en Ada en utilisant la boîte à outils GtkAda et uniquement des éléments Gtk3.
- 29
- MIT
ada-keystore
Ada Keystore - protégez vos données sensibles avec un stockage sécurisé.
- 28
- Apache License 2.0