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

Ada_GUI

GUI, ориентиран към Ada.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

експериментална реализация на YAML 1.3 в Ada.
  • 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 позволява наблюдение на консумацията на енергия на множество платформи и процеси. (от joular).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Криптографска библиотека в SPARK 2014.
  • 27

rp2040_hal

Ada драйвери за Raspberry Pi RP2040 SoC.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Инструменти за анализ и манипулиране на софтуер Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[отхвърлено] тези ascii пъзели и игри са разделени на a) „SliderPuzzles“ & b) „RetroArcade“..
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ada примери за Raspberry Pi Pico.
  • 25

ada-toml

TOML парсер за Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

Компонентите за многократна употреба на PragmAda.
  • 24

Ada-Lisp

Малък интерпретатор на Lisp, написан на Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

Реализацията на Google Protocol Buffers в Ada (от reznikmm).
  • 23
  • MIT

ASFML

Ada се свързва с библиотеката 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 е лек редактор за Ada.
  • 20

usb_embedded

Ada USB стек за вградени устройства.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

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

AURA

Референтната реализация на AURA (чрез annexi-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: GUI рамка за 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 Run Time Systems (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

Имплементация на Ada „Доста добре изображение“.
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: 3D двигател в реално време, написан на Ada.
  • 14