Các thư viện được viết bằng Ada

Ada_GUI

GUI hướng Ada.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

triển khai YAML 1.3 thử nghiệm ở Ada.
  • 31
  • MIT

M-1

Hệ thống kiểm tra quét ranh giới mã nguồn mở (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 và các thuật toán liên quan đến Keccak khác trong SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: Công cụ phân tích mức độ phù hợp.
  • 28

powerjoular

PowerJoular cho phép giám sát mức tiêu thụ năng lượng của nhiều nền tảng và quy trình. (bởi joular).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Một thư viện mật mã trong SPARK 2014.
  • 27

rp2040_hal

Trình điều khiển Ada cho Raspberry Pi RP2040 SoC.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Công cụ phân tích và thao tác trên phần mềm Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[không dùng nữa] các câu đố & trò chơi ascii này đã được chia thành a) "SliderPuzzles" & b) "RetroArcade"..
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ví dụ Ada cho Raspberry Pi Pico.
  • 25

ada-toml

Trình phân tích cú pháp TOML cho Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

Các thành phần có thể tái sử dụng của PragmAda.
  • 24

Ada-Lisp

Thông dịch viên Tiny Lisp được viết bằng Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

Việc triển khai Google Protocol Buffers ở Ada (bởi reznikmm).
  • 23
  • MIT

ASFML

Ada liên kết với thư viện SFML.
  • 21
  • GNU General Public License v3.0

xmlada

Bộ công cụ XML/Ada..
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB cung cấp một giải pháp thống nhất để xây dựng các ứng dụng phân tán dựa trên các tiêu chuẩn phần mềm trung gian.
  • 20
  • GNU General Public License v3.0

lea

LEA là Trình chỉnh sửa nhẹ cho Ada.
  • 20

usb_embedded

Một ngăn xếp Ada USB cho các thiết bị nhúng.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: một thư viện Ada di động, độc lập dành cho các kho lưu trữ.zip. Bao gồm cặp bộ mã hóa và giải mã luồng byte LZMA..
  • 19

AURA

Triển khai tham chiếu AURA (theo phụ lục-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: Khung GUI cho MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategyspiels. Mã của trò chơi chiến lược theo lượt 4X của tôi..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Dự án này chứa nhiều Hệ thống thời gian chạy Ada GNAT (RTS) khác nhau được nhắm mục tiêu vào các bảng Cortex: cho đến nay, Arduino Due, bảng đánh giá sê-ri STM32F4 từ STMicroelectronics và micro:bit của BBC.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Triển khai bảng điều khiển bảng điều khiển nhúng cung cấp chế độ xem trạng thái bằng đèn LED, ma trận 5x7 và OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API vào thư viện Windows.
  • 15

qoi-spark

Triển khai Ada “Hình ảnh khá ổn”.
  • 14
  • MIT

globe-3d

GLOBE_3D: Công cụ 3D thời gian thực được viết bằng Ada.
  • 14