Id Software的Id-tech-4-BFG采用Ada编程语言。
可验证的二进制解析器、消息生成器和协议状态机的正式规范和生成
用luajit编写的游戏引擎和框架
SPARK by Example是对ACSL by Example的改编，用于SPARK 2014，这是一种编程语言，是Ada的一个形式上...
Cardano区块链的账本实现和规范。
来自Alire项目和支持库的命令行工具
Yoroi钱包 - Cardano ADA钱包 - 你通往金融世界的门户（扩展前端）。
为@ziglang建立游戏开发生态系统!
马赫是一个游戏引擎&；未来的图形工具包。
文本冒险游戏Javascript引擎，创建像Atari/MS-Dos时代的老式控制台文本游戏。基于HTML5、Javascript、Rea...
与Ada和SPARK编程语言相关的超强资源的精选列表