Biblioteke napisane u Adau
synth
Sljedeći D/Ports alat za izgradnju živih sustava (alternativa za alate Portmaster i Portupgrade) (autor jrmarino).
- 244
- ISC
alire
Alat za naredbeni redak iz projekta Alire i knjižnica za podršku.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Ada izvorni kod i potpuni ogledni GNAT projekti za odabrane bare-board platforme koje podržava GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 je nova verzija SPARK-a, tehnologije razvoja softvera posebno dizajnirane za inženjering aplikacija visoke pouzdanosti.
- 208
- GNU General Public License v3.0 only
ada_language_server
Poslužitelj koji implementira Microsoftov jezični protokol za Adu i SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example je adaptacija ACSL by Example za SPARK 2014, programski jezik koji je formalno verificirani podskup Ade.
- 146
aws
AWS je kompletan okvir za razvoj web aplikacija u Adi. (autor AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014. ponovna implementacija kripto biblioteke TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Formalna specifikacija i generiranje provjerljivih binarnih parsera, generatora poruka i automata stanja protokola.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada web aplikacija - Okvir za izgradnju sigurnih web aplikacija visokih performansi.
- 85
- Apache License 2.0
gprbuild
GPRbuild je napredni sustav za izradu dizajniran da pomogne automatizirati izgradnju višejezičnih sustava.
- 55
- GNU General Public License v3.0
svd2ada
Generator Ada vezivanja iz SVD opisa za ARM uređaje s golom pločom..
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Ovaj projekt sadrži različite GNAT Ada Run Time Systems (RTS) usmjerene na Cortex ploče: do sada, Arduino Due, STM32F4 serije evaluacijskih ploča od STMicroelectronicsa i BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only