Adaben írt könyvtárak
synth
Következő D/Ports build eszköz élő rendszerekhez (Alternatíva a Portmaster és Portupgrade eszközökhöz) (a jrmarino).
- 244
- ISC
alire
Parancssori eszköz az Alire projektből és a támogató könyvtárból.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Ada forráskód és teljes minta GNAT projektek a GNAT által támogatott kiválasztott, üres táblás platformokhoz.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
A SPARK 2014 a SPARK új verziója, egy szoftverfejlesztési technológia, amelyet kifejezetten nagy megbízhatóságú alkalmazások tervezésére terveztek.
- 208
- GNU General Public License v3.0 only
ada_language_server
A Microsoft Language Protocolt Ada és SPARK számára megvalósító kiszolgáló.
- 197
- GNU General Public License v3.0 only
spark-by-example
A SPARK by Example az ACSL by Example adaptációja a SPARK 2014 programozási nyelvhez, amely az Ada formálisan ellenőrzött részhalmaza.
- 146
aws
Az AWS egy teljes keretrendszer web alapú alkalmazások fejlesztéséhez Adában. (az AdaCore által).
- 115
- GNU General Public License v3.0
SPARKNaCl
A TweetNaCl titkosítási könyvtár SPARK 2014 újratelepítése.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Ellenőrizhető bináris elemzők, üzenetgenerátorok és protokollállapot-gépek formális specifikációja és generálása.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application – Keretrendszer nagy teljesítményű biztonságos webalkalmazások készítéséhez.
- 85
- Apache License 2.0
bare_bones
Ada Bare Bones OS fejlesztési oktatóanyag forráskódja.
- 78
- GNU General Public License v3.0
gprbuild
A GPRbuild egy fejlett összeállítási rendszer, amelyet a többnyelvű rendszerek felépítésének automatizálására terveztek.
- 55
- GNU General Public License v3.0
svd2ada
Egy Ada kötésgenerátor az SVD-leírásokból csupasz táblás ARM eszközökhöz.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Ez a projekt különféle GNAT Ada Run Time Systemeket (RTS) tartalmaz, amelyek a Cortex kártyákat célozzák: eddig az Arduino Due, az STMicroelectronics STM32F4 sorozatú kiértékelő kártyái és a BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only