Perpustakaan yang ditulis dalam Ada
synth
Alat build D/Port berikutnya untuk sistem langsung (Alternatif untuk alat Portmaster dan Portupgrade) (oleh jrmarino).
- 244
- ISC
alire
Alat baris perintah dari proyek Alire dan pustaka pendukung.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Ada source code dan contoh lengkap proyek GNAT untuk platform bare-board terpilih yang didukung oleh GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 adalah versi baru SPARK, teknologi pengembangan perangkat lunak yang dirancang khusus untuk merekayasa aplikasi dengan keandalan tinggi..
- 208
- GNU General Public License v3.0 only
ada_language_server
Server menerapkan Protokol Bahasa Microsoft untuk Ada dan SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example adalah adaptasi dari ACSL by Example untuk SPARK 2014, bahasa pemrograman yang merupakan subset Ada yang diverifikasi secara formal.
- 146
aws
AWS adalah kerangka kerja lengkap untuk mengembangkan aplikasi berbasis web di Ada. (oleh AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 implementasi ulang perpustakaan crypto TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Spesifikasi formal dan pembuatan parser biner yang dapat diverifikasi, generator pesan, dan mesin status protokol.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Framework untuk membangun aplikasi web yang aman dan berkinerja tinggi.
- 85
- Apache License 2.0
gprbuild
GPRbuild adalah sistem build lanjutan yang dirancang untuk membantu mengotomatiskan pembangunan sistem multi-bahasa..
- 55
- GNU General Public License v3.0
svd2ada
Generator pengikat Ada dari deskripsi SVD untuk perangkat ARM papan kosong..
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Proyek ini berisi berbagai GNAT Ada Run Time Systems (RTS) yang ditargetkan pada papan Cortex: sejauh ini, Arduino Due, papan evaluasi seri STM32F4 dari STMicroelectronics, dan BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only