Biblioteki napisane w Ada

Ada_GUI

GUI zorientowany na Adę.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

eksperymentalna implementacja YAML 1.3 w Adzie.
  • 31
  • MIT

M-1

System testowy skanowania granic OpenSource (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 i inne algorytmy związane z Keccakiem w SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: narzędzie do analizy zasięgu.
  • 28

powerjoular

PowerJoular umożliwia monitorowanie zużycia energii przez wiele platform i procesów. (w dżulach).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Biblioteka kryptograficzna w SPARK 2014.
  • 27

rp2040_hal

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

Renaissance-Ada

Narzędzia do analizy i manipulacji oprogramowaniem Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[przestarzałe] te łamigłówki i gry ASCII zostały podzielone na a) „SliderPuzzles” i b) „RetroArcade”.
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ada przykłady dla Raspberry Pi Pico.
  • 25

ada-toml

Parser TOML dla Ady.
  • 24
  • GNU General Public License v3.0

PragmARC

Komponenty wielokrotnego użytku PragmaAda.
  • 24

Ada-Lisp

Tiny Lisp Interpreter napisany w Adzie.
  • 24
  • GNU General Public License v3.0 only

protobuf

Implementacja Google Protocol Buffers w Adzie (autor: reznikmm).
  • 23
  • MIT

ASFML

Wiązanie Ady z biblioteką SFML.
  • 21
  • GNU General Public License v3.0

xmlada

Zestaw narzędzi XML/Ada..
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB zapewnia jednolite rozwiązanie do budowy aplikacji rozproszonych w oparciu o standardy oprogramowania pośredniczącego.
  • 20
  • GNU General Public License v3.0

lea

LEA to lekki edytor dla Ady.
  • 20

usb_embedded

Stos Ada USB dla urządzeń wbudowanych.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: samodzielna, przenośna biblioteka Ada do archiwów.zip. Zawiera koder i dekoder strumienia bajtów LZMA.
  • 19

AURA

Implementacja referencyjna AURA (przez Annexi-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: Framework GUI dla MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. Kod mojej turowej gry strategicznej 4X..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Ten projekt zawiera różne systemy GNAT Ada Run Time Systems (RTS) przeznaczone dla płytek Cortex: jak dotąd Arduino Due, płytki ewaluacyjne z serii STM32F4 firmy STMicroelectronics oraz BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Implementacja wbudowanej konsoli deski rozdzielczej oferującej podglądy stanu za pomocą diod LED, matrycy 5x7 oraz OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API do biblioteki Windows.
  • 15

qoi-spark

Implementacja Ady „Całkiem OK Image”.
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: działający w czasie rzeczywistym silnik 3D napisany w Adzie.
  • 14