Ada开源项目点评

completely-unscientific-benchmarks

C++

一些编程语言的天真性能比较（JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haske...

fork
73
star
509
查看点评 源码

awesome-ada

与Ada和SPARK编程语言相关的超强资源的精选列表

fork
67
star
446
查看点评 源码

gcc_termux

C

Gcc用于termux与fortran scipy等...使用apt获得最新的更新，说明见README.txt

fork
73
star
385
查看点评 源码

yoroi-frontend

JavaScript

Yoroi钱包 - Cardano ADA钱包 - 你通往金融世界的门户（扩展前端）。

fork
92
star
318
查看点评 源码

AdaDoom3

Ada

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

fork
21
star
235
查看点评 源码

sdl2-examples

C++

SDL2实例，适用于20种不同的编程语言

fork
33
star
225
查看点评 源码

alire

Ada

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

fork
32
star
194
查看点评 源码

cardano-ledger

Haskell

Cardano区块链的账本实现和规范。

fork
128
star
191
查看点评 源码

spark-by-example

Ada

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

fork
16
star
143
查看点评 源码

RecordFlux

Ada

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

fork
9
star
92
查看点评 源码