Librerie scritte in Ada

Ada_GUI

Una GUI orientata ad Ada.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

implementazione sperimentale di YAML 1.3 in Ada.
  • 31
  • MIT

M-1

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

libkeccak

SHA-3 e altri algoritmi relativi a Keccak in SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

Copertura GNAT: strumento di analisi della copertura.
  • 28

powerjoular

PowerJoular consente di monitorare il consumo energetico di più piattaforme e processi. (per joular).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Una libreria crittografica in SPARK 2014.
  • 27

rp2040_hal

Driver Ada per il SoC Raspberry Pi RP2040.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Strumenti per l'analisi e la manipolazione del software Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[deprecato] questi puzzle e giochi ascii sono stati suddivisi in a) "SliderPuzzles" e b) "RetroArcade"..
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ada esempi per Raspberry Pi Pico.
  • 25

ada-toml

Analizzatore TOML per Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

I componenti riutilizzabili PragmAda.
  • 24

Ada-Lisp

Interprete Tiny Lisp Scritto in Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

L'implementazione dei buffer del protocollo Google in Ada (di reznikmm).
  • 23
  • MIT

ASFML

Collegamento Ada alla libreria SFML.
  • 21
  • GNU General Public License v3.0

xmlada

  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB fornisce una soluzione uniforme per creare applicazioni distribuite basate su standard middleware.
  • 20
  • GNU General Public License v3.0

lea

LEA è un editor leggero per Ada.
  • 20

usb_embedded

Uno stack USB Ada per dispositivi integrati.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: una libreria Ada autonoma e portatile per archivi.zip. Include la coppia codificatore e decodificatore flusso di byte LZMA.
  • 19

AURA

L'implementazione di riferimento AURA (da Annexi-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: framework GUI per MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X Rundenstrategiespiels. Il codice del mio gioco di strategia a turni 4X...
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Questo progetto contiene vari GNAT Ada Run Time Systems (RTS) destinati alle schede Cortex: finora, Arduino Due, le schede di valutazione della serie STM32F4 di STMicroelectronics e BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Implementazione di una console dashboard integrata che offre visualizzazioni di stato tramite LED, matrice 5x7 e OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API alla libreria di Windows.
  • 15

qoi-spark

Implementazione di Ada "Quite OK Image".
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: un motore 3D in tempo reale scritto in Ada.
  • 14