Bibliothèques écrites en Ada
daikin2mqtt
Un pont logiciel entre certaines unités HVAC Daikin™ populaires et MQTT.
- 11
- GNU General Public License v3.0 only
ews
Le serveur Web intégré est conçu pour être utilisé dans des systèmes intégrés avec des ressources limitées (par exemple, pas de disque). Il prend en charge à la fois les pages statiques (converties à partir d'une arborescence Web standard, y compris les graphiques et les fichiers de classe Java) et les pages dynamiques. Il est écrit en GCC Ada..
- 10
- GNU General Public License v3.0 only
ACATS
La suite de tests d'évaluation de la conformité Ada, personnalisée pour GCC.
- 9
- GNU General Public License v3.0
basalt
Collection de blocs de construction formellement vérifiés (par Componolit).
- 9
- GNU Affero General Public License v3.0
analytical-engine
Une émulation Ada 2012 du moteur analytique de Charles Babbage.
- 9
- GNU General Public License v3.0
notcursesada
Liaisons Ada pour la bibliothèque d'interface utilisateur textuelle notcurses.
- 8
- GNU General Public License v3.0
inotify-ada
Une bibliothèque Ada 2012 pour surveiller les événements du système de fichiers à l'aide de l'API inotify de Linux.
- 8
- Apache License 2.0
coldframe
ColdFrame génère du code de framework Ada et de la documentation à partir de modèles UML.
- 7
- GNU General Public License v3.0 only
tcladashell
Liaison Ada à Tcl/Tk. Notez que le copyright est GPL 2.0 + GMGPL.
- 6
- GNU General Public License v3.0 only
BBS-BBB-Ada
Une collection de sources Ada pour travailler avec des ordinateurs embarqués basés sur Linux, tels que le BeagleBone Black ou le Raspberry Pi.
- 6
- GNU General Public License v3.0 only
Encryption-utilities
Programmes utilitaires pour les algorithmes de chiffrement inclus dans les composants réutilisables PragmAda.
- 5
- GNU General Public License v3.0
rose
Noyau persistant basé sur les capacités (par blancolioni).
- 5
- GNU General Public License v3.0 only