Βιβλιοθήκες γραμμένες σε Ada
COVID-19_Simulator
Προσομοιωτής Qt5 COVID-19. Κωδικός Ada κάτω από την κουκούλα.:stonished: 🤯:metal:.
- 11
- MIT
daikin2mqtt
Μια γέφυρα λογισμικού μεταξύ ορισμένων δημοφιλών μονάδων HVAC Daikin™ και MQTT..
- 11
- GNU General Public License v3.0 only
ews
Ο ενσωματωμένος διακομιστής Web έχει σχεδιαστεί για χρήση σε ενσωματωμένα συστήματα με περιορισμένους πόρους (π.χ. χωρίς δίσκο). Υποστηρίζει τόσο στατικές (που έχουν μετατραπεί από ένα τυπικό δέντρο ιστού, συμπεριλαμβανομένων γραφικών και αρχείων κλάσης Java) όσο και δυναμικές σελίδες. Είναι γραμμένο στο GCC Ada..
- 10
- GNU General Public License v3.0 only
ACATS
Η σουίτα δοκιμών αξιολόγησης συμμόρφωσης Ada, προσαρμοσμένη για GCC..
- 9
- GNU General Public License v3.0
basalt
Συλλογή επίσημα επαληθευμένων δομικών στοιχείων (από την Componolit).
- 9
- GNU Affero General Public License v3.0
analytical-engine
Μια εξομοίωση Ada 2012 της Αναλυτικής Μηχανής του Charles Babbage.
- 9
- GNU General Public License v3.0
notcursesada
Ada bindings για τη βιβλιοθήκη διεπαφής χρήστη κειμένου notcurses.
- 8
- GNU General Public License v3.0
inotify-ada
Μια βιβλιοθήκη Ada 2012 για την παρακολούθηση συμβάντων συστήματος αρχείων χρησιμοποιώντας το Linux' inotify API.
- 8
- Apache License 2.0
coldframe
Το ColdFrame δημιουργεί κώδικα πλαισίου Ada και τεκμηρίωση από μοντέλα UML..
- 7
- GNU General Public License v3.0 only
tcladashell
Ada δέσμευση σε Tcl/Tk. Σημείωση, τα πνευματικά δικαιώματα είναι GPL 2.0 + GMGPL.
- 6
- GNU General Public License v3.0 only
BBS-BBB-Ada
Μια συλλογή πηγών Ada για εργασία με ενσωματωμένους υπολογιστές που βασίζονται στο Linux, όπως το BeagleBone Black ή το Raspberry Pi.
- 6
- GNU General Public License v3.0 only
Encryption-utilities
Βοηθητικά προγράμματα για τους αλγόριθμους κρυπτογράφησης που περιλαμβάνονται στα επαναχρησιμοποιήσιμα στοιχεία της PragmAda.
- 5
- GNU General Public License v3.0
rose
Επίμονος πυρήνας που βασίζεται σε δυνατότητες (από blancolioni).
- 5
- GNU General Public License v3.0 only