Knjižnice, napisane v Adau
synth
Naslednje orodje za gradnjo D/Ports za žive sisteme (alternativa za orodja Portmaster in Portupgrade) (avtor jrmarino).
- 244
- ISC
alire
Orodje ukazne vrstice iz projekta Alire in podporna knjižnica.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Izvorna koda Ada in popolni vzorčni projekti GNAT za izbrane platforme z golo ploščo, ki jih podpira GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 je nova različica SPARK, tehnologije za razvoj programske opreme, posebej zasnovane za inženiring visoko zanesljivih aplikacij.
- 208
- GNU General Public License v3.0 only
ada_language_server
Strežnik, ki izvaja Microsoftov jezikovni protokol za Ada in SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example je prilagoditev ACSL by Example za SPARK 2014, programski jezik, ki je formalno preverjena podmnožica Ade.
- 146
aws
AWS je popoln okvir za razvoj spletnih aplikacij v Adi. (avtor AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 ponovna implementacija kripto knjižnice TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Formalna specifikacija in generiranje preverljivih binarnih razčlenjevalnikov, generatorjev sporočil in avtomatov stanja protokola.
- 92
- GNU Affero General Public License v3.0
ada-awa
Spletna aplikacija Ada - ogrodje za izdelavo visoko zmogljivih varnih spletnih aplikacij.
- 85
- Apache License 2.0
gprbuild
GPRbuild je napreden gradbeni sistem, zasnovan za pomoč pri avtomatizaciji gradnje večjezičnih sistemov.
- 55
- GNU General Public License v3.0
svd2ada
Generator vezave Ada iz opisov SVD za naprave ARM z golo ploščo.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Ta projekt vsebuje različne sisteme GNAT Ada Run Time Systems (RTS), namenjene ploščam Cortex: do zdaj Arduino Due, ocenjevalne plošče serije STM32F4 podjetja STMicroelectronics in BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only