来自Alire项目和支持库的命令行工具
Chocolatey - Windows的软件包管理器
柯南中心资源库的菜谱
软件供应链安全领域的资源汇编，重点是开放源代码。
SPARK by Example是对ACSL by Example的改编，用于SPARK 2014，这是一种编程语言，是Ada的一个形式上...
Cardano区块链的账本实现和规范。
Id Software的Id-tech-4-BFG采用Ada编程语言。
Yoroi钱包 - Cardano ADA钱包 - 你通往金融世界的门户（扩展前端）。
与Ada和SPARK编程语言相关的超强资源的精选列表
生物康达频道的康达食谱。
拉库模块管理