Ada开源项目

AdaDoom3

Ada

Id Software的Id-tech-4-BFG采用Ada编程语言。

fork
21
star
235

alire

Ada

来自Alire项目和支持库的命令行工具

fork
32
star
194

spark-by-example

Ada

SPARK by Example是对ACSL by Example的改编,用于SPARK 2014,这是一种编程语言,是Ada的一个形式上...

fork
16
star
143

RecordFlux

Ada

可验证的二进制解析器、消息生成器和协议状态机的正式规范和生成

fork
9
star
92