用 Ada 编写的库

septum

基于上下文的代码搜索工具。
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio 是一款适用于 Ada 和 SPARK 的强大且轻量级的 IDE。
  • 335

AdaDoom3

Id Software 的 Id-tech-4-BFG 采用 Ada 编程语言。
  • 246

synth

用于实时系统的下一个 D/Ports 构建工具（Portmaster 和 Portupgrade 工具的替代品）（由 jrmarino 提供）。
  • 244
  • ISC

alire

来自 Alire 项目和支持库的命令行工具。
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

适用于 GNAT 支持的选定裸板平台的 Ada 源代码和完整示例 GNAT 项目。
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 是 SPARK 的新版本，SPARK 是一种专为工程高可靠性应用而设计的软件开发技术。
  • 208
  • GNU General Public License v3.0 only

ada_language_server

为 Ada 和 SPARK 实现 Microsoft 语言协议的服务器。
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

基于 LLVM 的 GNAT 编译器。
  • 155

spark-by-example

SPARK by Example 是 SPARK 2014 的 ACSL by Example 的改编版本，SPARK 2014 是一种编程语言，是 Ada 的正式验证子集。
  • 146

libadalang

Ada语义分析库..
  • 132
  • GNU General Public License v3.0

aws

AWS 是一个用 Ada 开发基于 Web 的应用程序的完整框架。 （由 AdaCore 提供）。
  • 115
  • GNU General Public License v3.0

sdlada

Ada 2012 与 SDL 2 的绑定。
  • 99
  • zlib

SPARKNaCl

SPARK 2014 重新实现了 TweetNaCl 加密库。
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

可验证的二进制解析器、消息生成器和协议状态机的正式规范和生成。
  • 92
  • GNU Affero General Public License v3.0

steamsky

带有蒸汽朋克背景的天空中的 Roguelike 镜子。
  • 88

OpenGLAda

OpenGL 和 GLFW 的厚 Ada 绑定。
  • 86
  • MIT

hac

HAC Ada Compiler - 一个小型、快速的 Ada 编译器，完全采用 Ada 语言。
  • 86

ada-awa

Ada Web 应用程序 - 构建高性能安全 Web 应用程序的框架。
  • 85
  • Apache License 2.0

learn

learn.adacore.com 的来源（由 AdaCore 提供）。
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Ada Bare Bones OS开发教程源代码。
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild 是一种先进的构建系统，旨在帮助自动化构建多语言系统。
  • 55
  • GNU General Public License v3.0

svd2ada

来自裸板 ARM 设备 SVD 描述的 Ada 绑定生成器。
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

该项目包含针对 Cortex 板的各种 GNAT Ada 运行时系统 (RTS)：到目前为止，包括 Arduino Due、STMicroElectronics 的 STM32F4 系列评估板和 BBC micro:bit (v1)。
  • 55
  • GNU General Public License v3.0 only

orka

Ada 2012 中的 OpenGL 4.6 渲染内核。
  • 50
  • Apache License 2.0

VSS

高级字符串和文本处理库。
  • 46
  • GNU General Public License v3.0

gnatcoll-core

GNAT 组件集合 – 核心包。
  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM 运行时和 Web API 绑定。
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA 是 Data General DASHER D200/D210 终端仿真器。
  • 35
  • MIT

json-ada

用于解析 JSON 的 Ada 2012 库。
  • 35
  • Apache License 2.0