Perpustakaan yang ditulis dalam Ada
daikin2mqtt
Jembatan perangkat lunak antara unit HVAC Daikin™ populer tertentu dan MQTT..
- 11
- GNU General Public License v3.0 only
ews
Server Web Tertanam dirancang untuk digunakan dalam sistem tertanam dengan sumber daya terbatas (mis., tanpa disk). Ini mendukung halaman statis (dikonversi dari pohon web standar, termasuk grafik dan file kelas Java) dan halaman dinamis. Itu tertulis di GCC Ada..
- 10
- GNU General Public License v3.0 only
basalt
Kumpulan blok bangunan yang diverifikasi secara formal (oleh Componolit).
- 9
- GNU Affero General Public License v3.0
analytical-engine
Emulasi Ada 2012 dari Mesin Analitik Charles Babbage.
- 9
- GNU General Public License v3.0
notcursesada
Ada binding untuk pustaka antarmuka pengguna teks notcurses.
- 8
- GNU General Public License v3.0
inotify-ada
Pustaka Ada 2012 untuk memantau peristiwa sistem file menggunakan API inotify Linux.
- 8
- Apache License 2.0
coldframe
ColdFrame menghasilkan kode framework Ada dan dokumentasi dari model UML..
- 7
- GNU General Public License v3.0 only
Alice
Petualangan untuk Pembelajaran dan Keunggulan Coding yang Menginspirasi (oleh alice-adventures).
- 7
- MIT
tcladashell
Ada yang mengikat ke Tcl/Tk. Perhatikan, hak ciptanya adalah GPL 2.0 + GMGPL.
- 6
- GNU General Public License v3.0 only
BBS-BBB-Ada
Kumpulan sumber Ada untuk bekerja dengan komputer tersemat berbasis Linux, seperti BeagleBone Black atau Raspberry Pi.
- 6
- GNU General Public License v3.0 only
Encryption-utilities
Program utilitas untuk algoritme enkripsi yang termasuk dalam Komponen Dapat Digunakan Kembali PragmAda.
- 5
- GNU General Public License v3.0
rose
Kernel berbasis kemampuan yang gigih (oleh blancolioni).
- 5
- GNU General Public License v3.0 only