Bibliotecas escritas en Ada

Ada_GUI

Una GUI orientada a Ada.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

Implementación experimental de YAML 1.3 en Ada.
  • 31
  • MIT

M-1

Un sistema de prueba de escaneo de límites de código abierto (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 y otros algoritmos relacionados con Keccak en SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: Herramienta de Análisis de Cobertura.
  • 28

powerjoular

PowerJoular permite monitorear el consumo de energía de múltiples plataformas y procesos. (por julio).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Una biblioteca criptográfica en SPARK 2014.
  • 27

rp2040_hal

Controladores Ada para el SoC Raspberry Pi RP2040.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Herramientas para el análisis y manipulación del software Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[en desuso] estos rompecabezas y juegos ascii se han dividido en a) "SliderPuzzles" y b) "RetroArcade".
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ejemplos de Ada para Raspberry Pi Pico.
  • 25

ada-toml

Analizador TOML para Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

Los componentes reutilizables PragmAda.
  • 24

Ada-Lisp

Intérprete de Tiny Lisp Escrito en Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

La implementación de Google Protocol Buffers en Ada (por reznikmm).
  • 23
  • MIT

ASFML

Enlace de Ada a la biblioteca SFML.
  • 21
  • GNU General Public License v3.0

xmlada

El kit de herramientas XML/Ada..
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB proporciona una solución uniforme para crear aplicaciones distribuidas que se basan en estándares de middleware.
  • 20
  • GNU General Public License v3.0

lea

LEA es un editor ligero para Ada.
  • 20

usb_embedded

Una pila USB Ada para dispositivos integrados.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: una biblioteca Ada independiente y portátil para archivos.zip. Incluye par de codificador y decodificador de flujo de bytes LZMA.
  • 19

AURA

La implementación de referencia de AURA (pornexi-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: Marco GUI para MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. El Código de mi juego de estrategia por turnos 4X..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Este proyecto contiene varios sistemas de tiempo de ejecución (RTS) GNAT Ada destinados a placas Cortex: hasta ahora, Arduino Due, las placas de evaluación de la serie STM32F4 de STMicroelectronics y BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Implementación de una consola de tablero integrada que ofrece vistas de estado usando LED, matriz 5x7 y OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API a la biblioteca de Windows.
  • 15

qoi-spark

Implementación de Ada "Imagen bastante correcta".
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: un motor 3D en tiempo real escrito en Ada.
  • 14