Βιβλιοθήκες γραμμένες σε Ada
M-1
Ένα σύστημα δοκιμής σάρωσης ορίων ανοιχτού κώδικα (JTAG / IEEE1149.x).
- 30
- GNU General Public License v3.0 only
libkeccak
SHA-3 και άλλοι σχετικοί αλγόριθμοι Keccak στο SPARK/Ada..
- 30
- BSD 3-clause "New" or "Revised"
powerjoular
Το PowerJoular επιτρέπει την παρακολούθηση της κατανάλωσης ενέργειας πολλών πλατφορμών και διαδικασιών. (από joular).
- 28
- GNU General Public License v3.0 only
rp2040_hal
Ada προγράμματα οδήγησης για το Raspberry Pi RP2040 SoC.
- 26
- BSD 3-clause "New" or "Revised"
Renaissance-Ada
Εργαλείο ανάλυσης και χειρισμού του λογισμικού Ada.
- 26
- BSD 3-clause "New" or "Revised"
CoTerminalApps
[καταργήθηκε] αυτά τα ascii παζλ και παιχνίδια χωρίστηκαν σε α) "SliderPuzzles" & β) "RetroArcade".
- 25
- GNU General Public License v3.0 only
PolyORB
Το PolyORB παρέχει μια ομοιόμορφη λύση για τη δημιουργία κατανεμημένων εφαρμογών που βασίζονται είτε σε πρότυπα ενδιάμεσου λογισμικού.
- 20
- GNU General Public License v3.0
zip-ada
Zip-Ada: μια αυτόνομη, φορητή βιβλιοθήκη Ada για αρχεία.zip. Περιλαμβάνει κωδικοποιητή ροής byte LZMA & ζεύγος αποκωδικοποιητή..
- 19
Honki-Tonks-Zivilisationen
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based παιχνίδι στρατηγικής..
- 17
- GNU General Public License v3.0 only
esp32-gnat-rts
Αυτό το έργο περιέχει διάφορα GNAT Ada Run Time Systems (RTS) που στοχεύουν σε πλακέτες Cortex: μέχρι στιγμής, το Arduino Due, τους πίνακες αξιολόγησης της σειράς STM32F4 από την STMicroelectronics και το BBC micro:bit.
- 16
- GNU General Public License v3.0 only
embedded-dashboard-console
Υλοποίηση ενσωματωμένης κονσόλας ταμπλό που προσφέρει προβολές κατάστασης με χρήση LED, μήτρας 5x7 και OLED.
- 15
- BSD 3-clause "New" or "Revised"