Perpustakaan yang ditulis dalam Ada

Ada_GUI

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

AdaYaml

implementasi eksperimental YAML 1.3 di Ada.
  • 31
  • MIT

M-1

Sistem Uji Pemindaian Batas OpenSource (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 dan algoritma terkait Keccak lainnya di SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

Cakupan GNAT: Alat Analisis Cakupan.
  • 28

powerjoular

PowerJoular memungkinkan pemantauan konsumsi daya dari berbagai platform dan proses. (oleh joular).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Perpustakaan kriptografi di SPARK 2014.
  • 27

rp2040_hal

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

Renaissance-Ada

Alat untuk analisis dan manipulasi perangkat lunak Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[usang] teka-teki & game ascii ini telah dipecah menjadi a) "SliderPuzzles" & b) "RetroArcade"..
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ada contoh untuk Raspberry Pi Pico.
  • 25

ada-toml

Pengurai TOML untuk Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

Komponen yang Dapat Digunakan Kembali PragmAda.
  • 24

Ada-Lisp

Tiny Lisp Interpreter Ditulis dalam Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

Implementasi Buffer Protokol Google di Ada (oleh reznikmm).
  • 23
  • MIT

ASFML

Ada binding ke library SFML.
  • 21
  • GNU General Public License v3.0

xmlada

Perangkat XML/Ada..
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB menyediakan solusi seragam untuk membangun aplikasi terdistribusi dengan mengandalkan standar middleware.
  • 20
  • GNU General Public License v3.0

lea

LEA adalah Editor Ringan untuk Ada.
  • 20

usb_embedded

Tumpukan Ada USB untuk perangkat tersemat.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: library Ada yang berdiri sendiri dan portabel untuk arsip.zip. Termasuk LZMA byte stream encoder & decoder pair..
  • 19

AURA

Implementasi Referensi AURA (oleh lampiran-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: Kerangka kerja GUI untuk MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. Kode game strategi berbasis giliran 4X saya..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Proyek ini berisi berbagai GNAT Ada Run Time Systems (RTS) yang ditargetkan pada papan Cortex: sejauh ini, Arduino Due, papan evaluasi seri STM32F4 dari STMicroelectronics, dan BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Implementasi konsol dasbor tersemat yang menawarkan tampilan status menggunakan LED, matriks 5x7, dan OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API ke perpustakaan Windows.
  • 15

qoi-spark

Implementasi “Cukup OK Gambar” Ada.
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: Mesin 3D waktu nyata yang ditulis dalam Ada.
  • 14