Библиотеки, написанные на 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. (от АдаКор).
- 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.
- 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 (RTS), предназначенные для плат Cortex: на данный момент это Arduino Due, оценочные платы серии STM32F4 от STMicroelectronics и BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only