Библиотеки, написани на Ada
synth
Следващ инструмент за изграждане на D/Ports за живи системи (Алтернатива за инструменти Portmaster и Portupgrade) (от jrmarino).
- 244
- ISC
alire
Инструмент за команден ред от проекта Alire и поддържаща библиотека.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Изходен код на Ada и пълни примерни GNAT проекти за избрани платформи без дъска, поддържани от GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 е новата версия на SPARK, технология за разработка на софтуер, специално проектирана за инженерни приложения с висока надеждност.
- 208
- GNU General Public License v3.0 only
ada_language_server
Сървър, внедряващ езиковия протокол на Microsoft за Ada и SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example е адаптация на ACSL by Example за SPARK 2014, език за програмиране, който е официално потвърдено подмножество на Ada.
- 146
aws
AWS е пълна рамка за разработване на уеб базирани приложения в Ada. (от AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 повторно внедряване на крипто библиотеката TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Официална спецификация и генериране на проверими двоични парсери, генератори на съобщения и машини за състояния на протоколи.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Рамка за изграждане на защитени уеб приложения с висока производителност.
- 85
- Apache License 2.0
bare_bones
Изходният код на ръководството за разработка на Ada Bare Bones OS.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild е усъвършенствана система за изграждане, предназначена да помогне за автоматизирането на изграждането на многоезични системи.
- 55
- GNU General Public License v3.0
svd2ada
Генератор на свързване на Ada от SVD описания за ARM устройства с голи платки..
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Този проект съдържа различни GNAT Ada Run Time Systems (RTS), насочени към Cortex платки: досега Arduino Due, платките за оценка от серията STM32F4 от STMicroelectronics и BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only