In Ada geschriebene Bibliotheken

Ada_GUI

Eine Ada-orientierte GUI.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

experimentelle YAML 1.3-Implementierung in Ada.
  • 31
  • MIT

M-1

Ein OpenSource-Boundary-Scan-Testsystem (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 und andere Keccak-bezogene Algorithmen in SPARK/Ada.
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: Tool zur Abdeckungsanalyse.
  • 28

powerjoular

PowerJoular ermöglicht die Überwachung des Stromverbrauchs mehrerer Plattformen und Prozesse. (von joular).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Eine kryptografische Bibliothek in SPARK 2014.
  • 27

rp2040_hal

Ada-Treiber für den Raspberry Pi RP2040 SoC.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Tools zur Analyse und Manipulation der Ada-Software.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[veraltet] Diese ASCII-Rätsel und -Spiele wurden in a) „SliderPuzzles“ und b) „RetroArcade“ aufgeteilt.
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ada-Beispiele für den Raspberry Pi Pico.
  • 25

ada-toml

TOML-Parser für Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

Die wiederverwendbaren Komponenten von PragmAda.
  • 24

Ada-Lisp

Tiny Lisp Interpreter Geschrieben in Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

Die Google Protocol Buffers-Implementierung in Ada (von reznikmm).
  • 23
  • MIT

ASFML

Ada-Bindung an die SFML-Bibliothek.
  • 21
  • GNU General Public License v3.0

xmlada

Das XML/Ada-Toolkit.
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB bietet eine einheitliche Lösung zum Erstellen verteilter Anwendungen, die entweder auf Middleware-Standards basieren.
  • 20
  • GNU General Public License v3.0

lea

LEA ist ein Lightweight-Editor für Ada.
  • 20

usb_embedded

Ein Ada-USB-Stack für eingebettete Geräte.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: eine eigenständige, tragbare Ada-Bibliothek für.zip-Archive. Enthält ein LZMA-Byte-Stream-Encoder- und Decoder-Paar.
  • 19

AURA

Die AURA-Referenzimplementierung (von Annexi-Strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: GUI-Framework für MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. Der Code meines rundenbasierten 4X-Strategiespiels.
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Dieses Projekt enthält verschiedene GNAT Ada Run Time Systems (RTSs), die auf Cortex-Boards ausgerichtet sind: bisher das Arduino Due, die Evaluierungsboards der STM32F4-Serie von STMicroelectronics und das BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Implementierung einer eingebetteten Dashboard-Konsole, die Statusansichten mithilfe von LEDs, 5x7-Matrix und OLED bietet.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada-API zur Windows-Bibliothek.
  • 15

qoi-spark

„Ganz OK“, Ada-Implementierung.
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: eine in Ada geschriebene Echtzeit-3D-Engine.
  • 14