SPARK by Example是对ACSL by Example的改编，用于SPARK 2014，这是一种编程语言，是Ada的一个形式上的验证子集。
可验证的二进制解析器、消息生成器和协议状态机的正式规范和生成
一种依赖类型的证明语言，旨在为工作中的软件工程师提供可证明正确的裸机代码。
Cardano区块链的账本实现和规范。
来自Alire项目和支持库的命令行工具
Id Software的Id-tech-4-BFG采用Ada编程语言。
Yoroi钱包 - Cardano ADA钱包 - 你通往金融世界的门户（扩展前端）。
与Ada和SPARK编程语言相关的超强资源的精选列表
精益数学组件库
Gcc用于termux与fortran scipy等...使用apt获得最新的更新，说明见README.txt
SDL2实例，适用于20种不同的编程语言