Librerie scritte in Ada
daikin2mqtt
Un ponte software tra alcune popolari unità Daikin™ HVAC e MQTT..
- 11
- GNU General Public License v3.0 only
ews
L'Embedded Web Server è progettato per l'uso in sistemi embedded con risorse limitate (ad es. senza disco). Supporta sia pagine statiche (convertite da un albero web standard, inclusi grafica e file di classe Java) che pagine dinamiche. È scritto in GCC Ada..
- 10
- GNU General Public License v3.0 only
ACATS
La Ada Conformity Assessment Test Suite, personalizzata per GCC..
- 9
- GNU General Public License v3.0
basalt
Raccolta di elementi costitutivi formalmente verificati (da Componolit).
- 9
- GNU Affero General Public License v3.0
analytical-engine
Un'emulazione Ada 2012 dell'Analytical Engine di Charles Babbage.
- 9
- GNU General Public License v3.0
notcursesada
Associazioni Ada per la libreria dell'interfaccia utente di testo notcurses.
- 8
- GNU General Public License v3.0
inotify-ada
Una libreria Ada 2012 per il monitoraggio degli eventi del filesystem utilizzando l'API inotify di Linux.
- 8
- Apache License 2.0
coldframe
ColdFrame genera il codice e la documentazione del framework Ada dai modelli UML.
- 7
- GNU General Public License v3.0 only
Alice
Avventure per l'apprendimento e l'ispirazione per l'eccellenza nella codifica (di alice-adventures).
- 7
- MIT
tcladashell
Legame Ada con Tcl/Tk. Nota, il copyright è GPL 2.0 + GMGPL.
- 6
- GNU General Public License v3.0 only
BBS-BBB-Ada
Una raccolta di fonti Ada per lavorare con computer embedded basati su Linux, come BeagleBone Black o Raspberry Pi.
- 6
- GNU General Public License v3.0 only
rose
Kernel persistente basato sulle capacità (di blancolioni).
- 5
- GNU General Public License v3.0 only