用 Ada 编写的库

Ada_GUI

面向 Ada 的 GUI。
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

Ada 中的实验性 YAML 1.3 实现。
  • 31
  • MIT

M-1

开源边界扫描测试系统 (JTAG / IEEE1149.x)。
  • 30
  • GNU General Public License v3.0 only

libkeccak

SPARK/Ada 中的 SHA-3 和其他 Keccak 相关算法..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage：覆盖率分析工具。
  • 28

powerjoular

PowerJoular 允许监控多个平台和进程的功耗。 （焦拉）。
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

SPARK 2014 中的密码库。
  • 27

rp2040_hal

适用于 Raspberry Pi RP2040 SoC 的 Ada 驱动程序。
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

用于分析和操作 Ada 软件的工具。
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[已弃用] 这些 ASCII 谜题和游戏已分为 a)“SliderPuzzles”和 b)“RetroArcade”..
  • 25
  • GNU General Public License v3.0 only

pico_examples

Raspberry Pi Pico 的 Ada 示例。
  • 25

ada-toml

Ada 的 TOML 解析器。
  • 24
  • GNU General Public License v3.0

PragmARC

PragmAda 可重用组件。
  • 24

Ada-Lisp

用 Ada 编写的 Tiny Lisp 解释器。
  • 24
  • GNU General Public License v3.0 only

protobuf

Ada 中的 Google Protocol Buffers 实现（作者：reznikmm）。
  • 23
  • MIT

ASFML

Ada 绑定到 SFML 库。
  • 21
  • GNU General Public License v3.0

xmlada

XML/Ada 工具包..
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB 提供了一个统一的解决方案来构建依赖于中间件标准的分布式应用程序。
  • 20
  • GNU General Public License v3.0

lea

LEA 是 Ada 的轻量级编辑器。
  • 20

usb_embedded

用于嵌入式设备的 Ada USB 堆栈。
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada：一个独立的、可移植的 Ada 库，用于.zip 存档。包括 LZMA 字节流编码器和解码器对。
  • 19

AURA

AURA 参考实现（由annexi-strayline 提供）。
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows：MS Windows 的 GUI 框架。
  • 17

Honki-Tonks-Zivilisationen

Der Code 是 4X-Rundenstrategies 游戏。我的 4X 回合制策略游戏的代码..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

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

embedded-dashboard-console

实施嵌入式仪表板控制台，使用 LED、5x7 矩阵和 OLED 提供状态视图。
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Windows 库的 Ada API。
  • 15

qoi-spark

“相当不错的图像”Ada 实现。
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D：用 Ada 编写的实时 3D 引擎。
  • 14