Bibliotecas escritas en Ada

adavulkan

Ada 2012 vinculante para Vulkan.
  • 13

ada-bar-codes

Ada Bar Codes: generador de código de barras (1D y 2D) en Ada puro.
  • 12

spark_unbound

Estructuras de datos independientes en Ada-Spark..
  • 12
  • MIT

COVID-19_Simulator

Simulador Qt5 COVID-19. Código Ada debajo del capó.:asombrado: 🤯:metal:.
  • 11
  • MIT

daikin2mqtt

Un puente de software entre ciertas unidades populares de Daikin™ HVAC y MQTT.
  • 11
  • GNU General Public License v3.0 only

pascal-to-ada

Traductor de Pascal a Ada.
  • 11

ews

El servidor web integrado está diseñado para su uso en sistemas integrados con recursos limitados (p. ej., sin disco). Admite tanto páginas estáticas (convertidas de un árbol web estándar, incluidos gráficos y archivos de clase Java) como dinámicas. Está escrito en GCC Ada..
  • 10
  • GNU General Public License v3.0 only

bbqueue-spark

Una implementación de Ada del BBQueue de James Munns.
  • 10
  • MIT

raylib-Ada

Enlace de Ada para la biblioteca Raylib.
  • 10
  • GNU General Public License v3.0

ACATS

El conjunto de pruebas de evaluación de la conformidad de Ada, personalizado para GCC.
  • 9
  • GNU General Public License v3.0

basalt

Colección de bloques de construcción verificados formalmente (por Componolit).
  • 9
  • GNU Affero General Public License v3.0

analytical-engine

Una emulación Ada 2012 del motor analítico de Charles Babbage.
  • 9
  • GNU General Public License v3.0

notcursesada

Enlaces de Ada para la biblioteca de interfaz de usuario de texto notcurses.
  • 8
  • GNU General Public License v3.0

inotify-ada

Una biblioteca Ada 2012 para monitorear eventos del sistema de archivos usando la API inotify de Linux.
  • 8
  • Apache License 2.0

coldframe

ColdFrame genera código y documentación del marco Ada a partir de modelos UML.
  • 7
  • GNU General Public License v3.0 only

Alice

Aventuras para aprender e inspirar la excelencia en codificación (por alice-adventures).
  • 7
  • MIT

ada-ray-tracer

  • 7
  • GNU General Public License v3.0 only

bingada

Aplicación de bingo en GTKAda.
  • 6
  • MIT

tcladashell

Unión de Ada a Tcl/Tk. Tenga en cuenta que los derechos de autor son GPL 2.0 + GMGPL.
  • 6
  • GNU General Public License v3.0 only

cbsg

El generador de mierda empresarial.
  • 6

trendy_test

Biblioteca de pruebas unitarias de Ada.
  • 6
  • Apache License 2.0

dir_iterators

El directorio basado en iteradores camina en Ada.
  • 6
  • Apache License 2.0

BBS-BBB-Ada

Una colección de fuentes de Ada para trabajar con computadoras integradas basadas en Linux, como BeagleBone Black o Raspberry Pi.
  • 6
  • GNU General Public License v3.0 only

wayland-ada

Fijaciones Ada 2012 para Wayland.
  • 6
  • Apache License 2.0

CurlAda

Enlaces Ada 2012 para libcurl.
  • 5

Encryption-utilities

Programas de utilidad para los algoritmos de encriptación incluidos en los Componentes Reutilizables de PragmAda.
  • 5
  • GNU General Public License v3.0

portable_ada

  • 5

ada-py-bind

  • 5
  • GNU General Public License v3.0

rose

Kernel persistente basado en capacidad (por blancolioni).
  • 5
  • GNU General Public License v3.0 only

tresses

Biblioteca de sintetizadores inspirada en las trenzas de Mutable Instruments.
  • 5
  • MIT