Id Software的Id-tech-4-BFG采用Ada编程语言。
用luajit编写的游戏引擎和框架
SPARK by Example是对ACSL by Example的改编，用于SPARK 2014，这是一种编程语言，是Ada的一个形式上...
可验证的二进制解析器、消息生成器和协议状态机的正式规范和生成
Cardano区块链的账本实现和规范。
来自Alire项目和支持库的命令行工具
Yoroi钱包 - Cardano ADA钱包 - 你通往金融世界的门户（扩展前端）。
与Ada和SPARK编程语言相关的超强资源的精选列表
为@ziglang建立游戏开发生态系统!
马赫是一个游戏引擎&；未来的图形工具包。
一个自上而下的2D游戏引擎，用不到1000行的C语言从头开始编写。基于该引擎的游戏开发在Twitch上流传：https://www.twi...