Các thư viện được viết bằng Ada
synth
Công cụ xây dựng D/Ports tiếp theo cho các hệ thống trực tiếp (Công cụ thay thế cho Portmaster và Portupgrade) (của jrmarino).
- 244
- ISC
Ada_Drivers_Library
Mã nguồn Ada và các dự án GNAT mẫu hoàn chỉnh cho các nền tảng bo mạch trần đã chọn được hỗ trợ bởi GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 là phiên bản mới của SPARK, một công nghệ phát triển phần mềm được thiết kế đặc biệt cho các ứng dụng kỹ thuật có độ tin cậy cao..
- 208
- GNU General Public License v3.0 only
ada_language_server
Máy chủ triển khai Giao thức ngôn ngữ Microsoft cho Ada và SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK theo ví dụ là bản chuyển thể của ACSL theo ví dụ cho SPARK 2014, một ngôn ngữ lập trình là tập hợp con được xác minh chính thức của Ada.
- 146
aws
AWS là một khung hoàn chỉnh để phát triển các ứng dụng dựa trên Web ở Ada. (bởi AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 triển khai lại thư viện tiền điện tử TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Đặc điểm kỹ thuật chính thức và tạo trình phân tích cú pháp nhị phân có thể kiểm chứng, trình tạo thông báo và máy trạng thái giao thức.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ứng dụng web Ada - Khung để xây dựng các ứng dụng web bảo mật hiệu suất cao.
- 85
- Apache License 2.0
bare_bones
Mã nguồn hướng dẫn phát triển hệ điều hành Ada Bare Bones.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild là một hệ thống xây dựng nâng cao được thiết kế để giúp tự động hóa việc xây dựng các hệ thống đa ngôn ngữ..
- 55
- GNU General Public License v3.0
svd2ada
Trình tạo liên kết Ada từ các mô tả SVD cho các thiết bị ARM bo mạch trần..
- 55
- GNU General Public License v3.0 only
cortex-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à BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only