Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe
- Rust 近 90 天出现 21 次
- 上一次：3 天前 · Developing provably correct Rust code with Verus
发生了什么
The Goose Programming Language. Contribute to aardappel/goose development by creating an account on GitHub.
摘要按规则整理自下方来源原文