Adaben írt könyvtárak

Ada_GUI

Ada-orientált grafikus felhasználói felület.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

kísérleti YAML 1.3 implementáció Adában.
  • 31
  • MIT

M-1

Nyílt forráskódú határellenőrzési tesztrendszer (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 és más Keccakkal kapcsolatos algoritmusok a SPARK/Ada-ban...
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: Lefedettségelemző eszköz.
  • 28

powerjoular

A PowerJoular lehetővé teszi több platform és folyamat energiafogyasztásának nyomon követését. (joular szerint).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Egy kriptográfiai könyvtár a SPARK 2014-ben.
  • 27

rp2040_hal

Ada illesztőprogramok a Raspberry Pi RP2040 SoC-hez.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Eszközök az Ada szoftverek elemzéséhez és manipulálásához.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[elavult] ezek az ascii rejtvények és játékok a) „SliderPuzzles” és b) „RetroArcade” részekre oszlanak.
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ada példák a Raspberry Pi Pico-hoz.
  • 25

ada-toml

TOML elemző Adához.
  • 24
  • GNU General Public License v3.0

PragmARC

A PragmAda újrafelhasználható alkatrészek.
  • 24

Ada-Lisp

Tiny Lisp Interpreter Írta Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

A Google Protocol Buffers megvalósítása Adában (készítő: reznikmm).
  • 23
  • MIT

ASFML

Ada kötés az SFML könyvtárhoz.
  • 21
  • GNU General Public License v3.0

xmlada

Az XML/Ada eszközkészlet...
  • 21
  • GNU General Public License v3.0

PolyORB

A PolyORB egységes megoldást kínál az elosztott alkalmazások felépítéséhez, akár köztesszoftver-szabványokra támaszkodva.
  • 20
  • GNU General Public License v3.0

lea

A LEA egy könnyű szerkesztő az Ada számára.
  • 20

usb_embedded

Ada USB-verem beágyazott eszközökhöz.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: önálló, hordozható Ada-könyvtár.zip-archívumokhoz. Tartalmazza az LZMA byte stream kódoló és dekódoló párost.
  • 19

AURA

Az AURA Referencia Implementáció (az annexi-strayline segítségével).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: GUI keretrendszer MS Windowshoz.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. A 4X körökre osztott stratégiai játékom kódja..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Ez a projekt különböző GNAT Ada Run Time Systems (RTS) rendszereket tartalmaz, amelyek Cortex kártyákat céloznak meg: eddig az Arduino Due, az STMicroelectronics STM32F4 sorozatú kiértékelő kártyái és a BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Beágyazott műszerfali konzol megvalósítása, amely állapotnézeteket kínál LED-ek, 5x7 mátrix és OLED használatával.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API a Windows könyvtárhoz.
  • 15

qoi-spark

“Guite OK Image” Ada megvalósítás.
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: Ada nyelven írt valós idejű 3D Engine.
  • 14