Bibliotecas escritas em Ada

adavulkan

Ada 2012 vinculada ao Vulkan.
  • 13

ada-bar-codes

Ada Bar Codes: gerador de código de barras (1D e 2D) em Ada puro.
  • 12

spark_unbound

Estruturas de dados não vinculados em Ada-Spark..
  • 12
  • MIT

COVID-19_Simulator

Simulador Qt5 COVID-19. Código Ada sob o capô.:espantado: 🤯:metal:.
  • 11
  • MIT

daikin2mqtt

Uma ponte de software entre algumas unidades Daikin™ HVAC populares e MQTT..
  • 11
  • GNU General Public License v3.0 only

pascal-to-ada

Tradutor de Pascal para Ada.
  • 11

ews

O Embedded Web Server é projetado para uso em sistemas embarcados com recursos limitados (por exemplo, sem disco). Ele oferece suporte a páginas estáticas (convertidas de uma árvore da Web padrão, incluindo gráficos e arquivos de classe Java) e dinâmicas. Está escrito em GCC Ada..
  • 10
  • GNU General Public License v3.0 only

bbqueue-spark

Uma implementação Ada do BBQueue de James Munns.
  • 10
  • MIT

raylib-Ada

Ligação Ada para a biblioteca Raylib..
  • 10
  • GNU General Public License v3.0

ACATS

O Ada Conformity Assessment Test Suite, personalizado para GCC..
  • 9
  • GNU General Public License v3.0

basalt

Coleção de blocos de construção formalmente verificados (pela Componolit).
  • 9
  • GNU Affero General Public License v3.0

analytical-engine

Uma emulação Ada 2012 do Analytical Engine de Charles Babbage.
  • 9
  • GNU General Public License v3.0

notcursesada

Ligações Ada para a biblioteca de interface de usuário de texto notcurses.
  • 8
  • GNU General Public License v3.0

inotify-ada

Uma biblioteca Ada 2012 para monitorar eventos do sistema de arquivos usando a API inotify do Linux.
  • 8
  • Apache License 2.0

coldframe

ColdFrame gera código de estrutura Ada e documentação a partir de modelos UML.
  • 7
  • GNU General Public License v3.0 only

Alice

Aventuras para aprender e inspirar excelência em codificação (por alice-adventures).
  • 7
  • MIT

ada-ray-tracer

  • 7
  • GNU General Public License v3.0 only

bingada

Aplicação de bingo em GTKAda.
  • 6
  • MIT

tcladashell

Ligação de Ada a Tcl/Tk. Observe que os direitos autorais são GPL 2.0 + GMGPL.
  • 6
  • GNU General Public License v3.0 only

cbsg

O gerador de merda corporativa.
  • 6

trendy_test

Biblioteca de testes de unidade Ada.
  • 6
  • Apache License 2.0

dir_iterators

O diretório baseado em iterador caminha em Ada.
  • 6
  • Apache License 2.0

BBS-BBB-Ada

Uma coleção de fontes Ada para trabalhar com computadores embarcados baseados em Linux, como o BeagleBone Black ou o Raspberry Pi.
  • 6
  • GNU General Public License v3.0 only

wayland-ada

Encadernações Ada 2012 para Wayland.
  • 6
  • Apache License 2.0

CurlAda

Ligações Ada 2012 para libcurl.
  • 5

Encryption-utilities

Programas utilitários para os algoritmos de criptografia incluídos nos Componentes Reutilizáveis ​​PragmAda.
  • 5
  • GNU General Public License v3.0

portable_ada

  • 5

ada-py-bind

  • 5
  • GNU General Public License v3.0

rose

Kernel baseado em capacidade persistente (por blancolioni).
  • 5
  • GNU General Public License v3.0 only

tresses

Biblioteca de sintetizadores inspirada nas tranças da Mutable Instruments.
  • 5
  • MIT