Bibliotecas escritas en Ada

gembrowse

Navegador de terminales para el protocolo Gemini.
  • 5

progress_indicators

Indicadores de progreso para herramientas de línea de comandos en Ada..
  • 4
  • Apache License 2.0

epoll-ada

Enlace de Ada para Linux epoll.
  • 4
  • BSD 3-clause "New" or "Revised"

bare_runtime

Tiempo de ejecución mínimo de Ada/SPARK para objetivos integrados u otros objetivos restringidos.
  • 4

canberra-ada

Enlaces Ada 2012 para libcanberra.
  • 4
  • Apache License 2.0

trendy_terminal

Una biblioteca de Windows/Linux para habilitar la configuración del terminal y controlar la entrada de carácter por carácter.
  • 4
  • Apache License 2.0

evdev-ada

Una biblioteca Ada 2012 para leer eventos de entrada y usar retroalimentación forzada usando la API evdev de Linux.
  • 4
  • Apache License 2.0

esp32c3-ada

Ada SDK para el SoC ESP32C3 RISC-V.
  • 4
  • MIT

iso_countries

Referencias estándar ISO para Ada, como los códigos de país ISO 1366. [Movido a: https://github.com/ada-iso/ada_iso].
  • 3
  • MIT

uca

Componentes Unicode para Ada.
  • 3
  • Mozilla Public License 2.0

ada_iso

Referencias estándar ISO para Ada como ISO 1366 (códigos de países) e ISO 4217 (monedas).
  • 3
  • MIT

j2ada

J2Ada traduce un código fuente válido de Java en el código fuente de Ada.
  • 3
  • GNU General Public License v3.0

drivers

Una variedad de controladores (por JeremyGrosser).
  • 3
  • BSD 3-clause "New" or "Revised"

tiled-code-gen

Generador de código para Tiled el editor de mapas.
  • 3
  • BSD 3-clause "New" or "Revised"

play_2048

Juego 2048: fusiona fichas iguales hasta sumar 2048.
  • 3
  • GNU General Public License v3.0 only

advent

El advenimiento del código - Ada (por JeremyGrosser).
  • 3

xia

Una implementación Ada de XPath 1.0..
  • 3
  • GNU General Public License v3.0

deflate

Una biblioteca de compresión deflate.
  • 2
  • Apache License 2.0

libadalang2xml

Genera una representación XML de la fuente de Ada usando libadalang..
  • 2

click

Caja Ada para compilar firmware para teclado mecánico (por dkm).
  • 2
  • MIT

garlic

Biblioteca GNAT para el entorno distribuido de Ada (ajo) (por reznikmm).
  • 2
  • GNU General Public License v3.0 only

VulkanAda

Un intento de crear un enlace a la biblioteca Vulkan para el lenguaje de programación Ada.
  • 2
  • MIT

Pi-Mainframe

Computadora central simulada basada en una Raspberry Pi.
  • 2
  • GNU General Public License v3.0 only

aoc-ada-2021

Advenimiento del Código 2021 en Ada.
  • 2
  • MIT

libtcod-ada

Un enlace Ada para la biblioteca libtcod rougelike.
  • 2
  • BSD 3-clause "New" or "Revised"

game-of-life

El juego de la vida de Conway en Ada. (por zmower).
  • 2

advent-of-code

Soluciones de acertijos Advent of Code (por rocher).
  • 2

iso_3166

Referencias estándar ISO para Ada, como los códigos de país ISO 1366. [Movido a: https://github.com/ada-iso/ada_iso].
  • 2
  • MIT

MP

Un reproductor de música (por jrcarter).
  • 2
  • BSD 3-clause "New" or "Revised"

liburing-ada

Enlaces liburing/io_uring para Ada.
  • 1