Библиотеки, написанные на Ada

septum

Инструмент контекстного поиска кода.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio — это мощная и легкая IDE для Ada и SPARK.
  • 335

AdaDoom3

Id Software Id-tech-4-BFG на языке программирования Ada.
  • 246

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

gnat-llvm

Компилятор GNAT на основе LLVM.
  • 155

spark-by-example

SPARK by Example — это адаптация ACSL by Example для SPARK 2014, языка программирования, который является формально проверенным подмножеством Ada.
  • 146

libadalang

Библиотека семантического анализа Ады..
  • 132
  • GNU General Public License v3.0

aws

AWS — это полная платформа для разработки веб-приложений на языке Ada. (от АдаКор).
  • 115
  • GNU General Public License v3.0

sdlada

Привязки Ады 2012 к SDL 2.
  • 99
  • zlib

SPARKNaCl

SPARK 2014 — повторная реализация криптобиблиотеки TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Формальная спецификация и генерация проверяемых бинарных синтаксических анализаторов, генераторов сообщений и конечных автоматов протоколов.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Зеркало рогалика в небе с сеттингом в стиле стимпанк.
  • 88

OpenGLAda

Толстая привязка Ada для OpenGL и GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler — небольшой, быстрый компилятор Ады, полностью написанный на Аде.
  • 86

ada-awa

Ada Web Application — платформа для создания высокопроизводительных безопасных веб-приложений.
  • 85
  • Apache License 2.0

learn

Источники для Learn.adacore.com (от AdaCore).
  • 79
  • Creative Commons Attribution 4.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

orka

Ядро рендеринга OpenGL 4.6 в Аде 2012.
  • 50
  • Apache License 2.0

VSS

Библиотека обработки строк и текста высокого уровня.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Коллекция компонентов GNAT — основные пакеты.
  • 44
  • GNU General Public License v3.0

adawebpack

Среда выполнения Ada WASM и привязки для веб-API.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA — это эмулятор терминала Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Библиотека Ады 2012 для разбора JSON.
  • 35
  • Apache License 2.0