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

Ada_GUI

Ада-ориентированный графический интерфейс.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

экспериментальная реализация YAML 1.3 на Аде.
  • 31
  • MIT

M-1

Система тестирования граничного сканирования с открытым исходным кодом (JTAG/IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 и другие алгоритмы, связанные с Keccak, в SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: инструмент анализа покрытия.
  • 28

powerjoular

PowerJoular позволяет отслеживать энергопотребление нескольких платформ и процессов. (по джоуляру).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Криптографическая библиотека в СПАРК 2014.
  • 27

rp2040_hal

Драйверы Ada для SoC Raspberry Pi RP2040.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Инструменты для анализа и управления программным обеспечением Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[устарело] эти ascii-головоломки и игры были разделены на а) «SliderPuzzles» и б) «RetroArcade».
  • 25
  • GNU General Public License v3.0 only

pico_examples

Примеры Ады для Raspberry Pi Pico.
  • 25

ada-toml

Парсер TOML для Ады.
  • 24
  • GNU General Public License v3.0

PragmARC

Многоразовые компоненты PragmAda.
  • 24

Ada-Lisp

Интерпретатор Tiny Lisp, написанный на Аде.
  • 24
  • GNU General Public License v3.0 only

protobuf

Реализация буферов протокола Google в Аде (автор reznikmm).
  • 23
  • MIT

ASFML

Привязка Ады к библиотеке SFML.
  • 21
  • GNU General Public License v3.0

xmlada

Инструментарий XML/Ada.
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB предоставляет универсальное решение для создания распределенных приложений, основанное на стандартах промежуточного программного обеспечения.
  • 20
  • GNU General Public License v3.0

lea

LEA — это облегченный редактор для Ады.
  • 20

usb_embedded

Стек Ada USB для встраиваемых устройств.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: автономная портативная библиотека Ada для архивов.zip. Включает пару кодировщика и декодера потока байтов LZMA.
  • 19

AURA

Эталонная реализация AURA (приложением-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: структура графического интерфейса для MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. Код моей пошаговой стратегии 4X..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Этот проект содержит различные системы времени выполнения GNAT Ada (RTS), предназначенные для плат Cortex: на данный момент это Arduino Due, оценочные платы серии STM32F4 от STMicroelectronics и BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Внедрение встроенной консоли приборной панели, обеспечивающей просмотр состояния с использованием светодиодов, матрицы 5x7 и OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API к библиотеке Windows.
  • 15

qoi-spark

Реализация Ады «Вполне нормальное изображение».
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: 3D-движок реального времени, написанный на Аде.
  • 14