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