用 Ada 编写的库

ada-solitaire

一款纸牌游戏的 Ada 实现。
  • 1

Mine_Detector

地雷探测器的 Gnoga/Ada-GUI 版本，一款智力挑战游戏。
  • 1

sh1107

OLED 显示器使用的 SH1107 驱动程序的驱动程序实现。
  • 1
  • BSD 3-clause "New" or "Revised"

esp-idf-ada-bindings

基于 ESP-IDF 的 ESP32C3 RiscV SoC 的 Ada 绑定。
  • 1
  • MIT

pygamer-simulator

AdaFruit PyGamer 的 SDL 模拟器。
  • 1
  • BSD 3-clause "New" or "Revised"

Lined

软件工具中行编辑器的 Ada 实现。
  • 1
  • BSD 3-clause "New" or "Revised"

lith

R7RS-small 在 Ada 中的实现。
  • 1

Sim-CPU

用 Ada 编写的 CPU 模拟。
  • 1
  • GNU General Public License v3.0 only

natools

Ada 中的各种小型实用程序聚集在一个共享库中。
  • 1
  • ISC

radatracer

https://gitlab.com/1ma/radatracer 的镜像（由 1ma 提供）。
  • 1

rst-unparser

将 RST 元素树编写为 ReStructuredText 文档的工具。
  • 1

learnesp32

ESP32-C3 上的 Ada：概念证明。
  • 1
  • Apache License 2.0

resources

用于在运行时处理项目资源的实用程序库（由alire-project提供）。
  • 1

advent_of_code

  • 1

Base_64

用于处理 Base64 字符串的包..
  • 1

rougelike-ada

一款用 Ada 2012 编写的 Roguelike 游戏。
  • 1
  • GNU Affero General Public License v3.0

minimal_containers

足够容纳 ColdFrame 的容器..
  • 1
  • GNU General Public License v3.0

euler_tools

用于解决 Euler 项目问题的 Ada 函数分类。
  • 1
  • MIT

spark2014

SPARK 2014 是 SPARK 的新版本，SPARK 是一种专门为工程高可靠性应用而设计的软件开发技术。 （西蒙·赖特）。
  • 1
  • GNU General Public License v3.0 only

Honki-Tonks-Programming-Exercises

一些用 Ada 编写的编程练习..
  • 0
  • GNU General Public License v3.0 only

advent_of_code

该存储库包含 Advent of Code 挑战的解决方案（作者：joakim-strandberg）。
  • 0

Bar_Code_Drawing

创建条形码。
  • 0
  • BSD 3-clause "New" or "Revised"

rst_tables

打印第一个表格的简单工具。
  • 0
  • GNU General Public License v3.0 only

jott

使用 Ada 构建的命令行笔记应用程序！ （塞万巴达尔）。
  • 0

dirs_to_graphviz

  • 0
  • Apache License 2.0

matreshka

俄罗斯套娃项目。
  • 0
  • BSD 3-clause "New" or "Revised"

stm32-startup-code-ada

STM32的启动代码完全用Ada编写。
  • 0
  • GNU General Public License v3.0 only

old_nehe_ada95

旧 NeHe Ada95 端口。
  • 0
  • GNU General Public License v3.0

protohackers

  • 0
  • GNU General Public License v3.0 only

euler_examples

Ada 中解决了一些 Euler 项目问题。
  • 0