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

gembrowse

Браузер терминала для протокола Gemini.
  • 5

progress_indicators

Индикаторы прогресса для инструментов командной строки в Ada..
  • 4
  • Apache License 2.0

epoll-ada

Привязка Ada для Linux epoll.
  • 4
  • BSD 3-clause "New" or "Revised"

bare_runtime

Минимальное время выполнения Ada/SPARK для встроенных или других целей с ограниченным доступом.
  • 4

canberra-ada

Привязки Ады 2012 для libcanberra.
  • 4
  • Apache License 2.0

trendy_terminal

Библиотека Windows/Linux для включения настроек терминала и управления посимвольным вводом.
  • 4
  • Apache License 2.0

evdev-ada

Библиотека Ada 2012 для чтения входных событий и использования принудительной обратной связи с использованием Linux evdev API.
  • 4
  • Apache License 2.0

esp32c3-ada

Ada SDK для SoC ESP32C3 RISC-V.
  • 4
  • MIT

iso_countries

Стандартные ссылки ISO для Ada, такие как коды стран ISO 1366. [Перенесено на: https://github.com/ada-iso/ada_iso].
  • 3
  • MIT

uca

Компоненты Юникода для Ады.
  • 3
  • Mozilla Public License 2.0

ada_iso

Стандартные ссылки ISO для Ada, такие как ISO 1366 (коды стран) и ISO 4217 (валюты).
  • 3
  • MIT

j2ada

J2Ada переводит допустимый исходный код Java в исходный код Ada.
  • 3
  • GNU General Public License v3.0

drivers

Ассортимент драйверов (автор JeremyGrosser).
  • 3
  • BSD 3-clause "New" or "Revised"

tiled-code-gen

Генератор кода для тайлового редактора карт.
  • 3
  • BSD 3-clause "New" or "Revised"

play_2048

Игра 2048: объединяйте одинаковые плитки, пока не получите 2048.
  • 3
  • GNU General Public License v3.0 only

advent

Пришествие кода - Ада (автор Джереми Гроссер).
  • 3

xia

Ада-реализация XPath 1.0..
  • 3
  • GNU General Public License v3.0

deflate

Библиотека сжатия deflate.
  • 2
  • Apache License 2.0

libadalang2xml

Генерирует XML-представление исходного кода Ады, используя libadalang..
  • 2

click

Ада крейт для сборки прошивки для механической клавиатуры (от dkm).
  • 2
  • MIT

garlic

Библиотека GNAT для распределенной среды Ada (чеснок) (от reznikmm).
  • 2
  • GNU General Public License v3.0 only

VulkanAda

Попытка создания привязки к библиотеке Vulkan для языка программирования Ada.
  • 2
  • MIT

Pi-Mainframe

Имитация мейнфрейма на базе Raspberry Pi.
  • 2
  • GNU General Public License v3.0 only

aoc-ada-2021

Появление Кода 2021 на Аде.
  • 2
  • MIT

libtcod-ada

Привязка Ada для библиотеки libtcod rougelike.
  • 2
  • BSD 3-clause "New" or "Revised"

game-of-life

Игра жизни Конвея в Аде. (от zmower).
  • 2

advent-of-code

Решения головоломок «Пришествие кода» (от rocher).
  • 2

iso_3166

Стандартные ссылки ISO для Ada, такие как коды стран ISO 1366. [Перенесено на: https://github.com/ada-iso/ada_iso].
  • 2
  • MIT

MP

Музыкальный проигрыватель (от jrcarter).
  • 2
  • BSD 3-clause "New" or "Revised"

liburing-ada

привязки liburing/io_uring для Ады.
  • 1