Các thư viện được viết bằng Ada
daikin2mqtt
Cầu nối phần mềm giữa một số thiết bị Daikin™ HVAC phổ biến nhất định và MQTT..
- 11
- GNU General Public License v3.0 only
ews
Máy chủ Web Nhúng được thiết kế để sử dụng trong các hệ thống nhúng có tài nguyên hạn chế (ví dụ: không có đĩa). Nó hỗ trợ cả trang tĩnh (được chuyển đổi từ cây web tiêu chuẩn, bao gồm đồ họa và tệp lớp Java) và trang động. Nó được viết bằng GCC Ada..
- 10
- GNU General Public License v3.0 only
ACATS
Bộ kiểm tra đánh giá sự phù hợp của Ada, được tùy chỉnh cho GCC..
- 9
- GNU General Public License v3.0
basalt
Bộ sưu tập các khối xây dựng được xác minh chính thức (bởi Componolit).
- 9
- GNU Affero General Public License v3.0
analytical-engine
Một mô phỏng Ada 2012 của Công cụ phân tích của Charles Babbage.
- 9
- GNU General Public License v3.0
notcursesada
Các ràng buộc Ada cho thư viện giao diện người dùng văn bản notcurses.
- 8
- GNU General Public License v3.0
inotify-ada
Thư viện Ada 2012 để theo dõi các sự kiện của hệ thống tệp bằng cách sử dụng API inotify của Linux.
- 8
- Apache License 2.0
coldframe
ColdFrame tạo mã khung Ada và tài liệu từ các mô hình UML..
- 7
- GNU General Public License v3.0 only
Alice
Những cuộc phiêu lưu để học tập và truyền cảm hứng viết mã xuất sắc (của alice-adventures).
- 7
- MIT
tcladashell
Ada ràng buộc với Tcl/Tk. Lưu ý, bản quyền là GPL 2.0 + GMGPL.
- 6
- GNU General Public License v3.0 only
BBS-BBB-Ada
Một bộ sưu tập các nguồn Ada để làm việc với các máy tính nhúng dựa trên Linux, chẳng hạn như BeagleBone Black hoặc Raspberry Pi.
- 6
- GNU General Public License v3.0 only
Encryption-utilities
Các chương trình tiện ích cho các thuật toán mã hóa có trong các Thành phần có thể tái sử dụng của PragmAda.
- 5
- GNU General Public License v3.0
