Bibliotecas escritas em Ada

Ada_GUI

Uma GUI orientada para Ada.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

implementação experimental do YAML 1.3 em Ada.
  • 31
  • MIT

M-1

Um sistema OpenSource Boundary Scan Test (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 e outros algoritmos relacionados a Keccak em SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: Ferramenta de Análise de Cobertura.
  • 28

powerjoular

O PowerJoular permite monitorar o consumo de energia de múltiplas plataformas e processos. (por jornal).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Uma biblioteca criptográfica no SPARK 2014.
  • 27

rp2040_hal

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

Renaissance-Ada

Ferramental para análise e manipulação de software Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[obsoleto] esses quebra-cabeças e jogos ASCII foram divididos em a) "SliderPuzzles" e b) "RetroArcade".
  • 25
  • GNU General Public License v3.0 only

pico_examples

Exemplos de Ada para o Raspberry Pi Pico.
  • 25

ada-toml

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

PragmARC

Os componentes reutilizáveis ​​do PragmAda.
  • 24

Ada-Lisp

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

protobuf

A implementação do Google Protocol Buffers em Ada (por reznikmm).
  • 23
  • MIT

ASFML

Ligação Ada à biblioteca SFML.
  • 21
  • GNU General Public License v3.0

xmlada

O kit de ferramentas XML/Ada..
  • 21
  • GNU General Public License v3.0

PolyORB

O PolyORB fornece uma solução uniforme para criar aplicativos distribuídos com base em padrões de middleware.
  • 20
  • GNU General Public License v3.0

lea

LEA é um editor leve para Ada.
  • 20

usb_embedded

Uma pilha Ada USB para dispositivos embarcados.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: uma biblioteca Ada independente e portátil para arquivos.zip. Inclui par de codificador e decodificador de fluxo de bytes LZMA.
  • 19

AURA

A implementação de referência AURA (por anexo).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: Estrutura GUI para MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. O código do meu jogo de estratégia baseado em turnos 4X.
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Este projeto contém vários GNAT Ada Run Time Systems (RTSs) voltados para placas Cortex: até agora, o Arduino Due, as placas de avaliação da série STM32F4 da STMicroelectronics e o BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Implementação de um console de painel embutido que oferece visualizações de status usando LEDs, matriz 5x7 e OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

API Ada para a biblioteca do Windows.
  • 15

qoi-spark

Implementação Ada “Quite OK Image”.
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: um motor 3D em tempo real escrito em Ada.
  • 14