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

septum

Công cụ tìm kiếm mã dựa trên ngữ cảnh.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio là một IDE nhẹ và mạnh mẽ dành cho Ada và SPARK..
  • 335

AdaDoom3

Id Software's Id-tech-4-BFG bằng ngôn ngữ lập trình Ada..
  • 246

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

alire

Công cụ dòng lệnh từ dự án Alire và thư viện hỗ trợ.
  • 220
  • GNU General Public License v3.0 only

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

gnat-llvm

Trình biên dịch GNAT dựa trên LLVM.
  • 155

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

libadalang

Thư viện phân tích ngữ nghĩa Ada..
  • 132
  • GNU General Public License v3.0

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

sdlada

Ada 2012 liên kết với SDL 2.
  • 99
  • zlib

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

steamsky

Gương roguelike trên bầu trời với bối cảnh steampunk.
  • 88

OpenGLAda

Liên kết Ada dày cho OpenGL và GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - một trình biên dịch Ada nhỏ, nhanh hoàn toàn bằng Ada.
  • 86

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

learn

Nguồn cho learn.adacore.com (của AdaCore).
  • 79
  • Creative Commons Attribution 4.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

orka

Hạt nhân kết xuất OpenGL 4.6 trong Ada 2012.
  • 50
  • Apache License 2.0

VSS

Thư viện xử lý văn bản và chuỗi cấp cao.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Bộ sưu tập thành phần GNAT - Gói cốt lõi.
  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM Thời gian chạy và ràng buộc cho API Web.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA là trình giả lập thiết bị đầu cuối Data General Dasher D200/D210.
  • 35
  • MIT

json-ada

Một thư viện Ada 2012 để phân tích cú pháp JSON.
  • 35
  • Apache License 2.0