celinval's Stars
model-checking/kani
Kani Rust Verifier
rust-lang/rust
Empowering everyone to build reliable and efficient software.
mre/idiomatic-rust
🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
rust-lang/project-stable-mir
Define compiler intermediate representation usable by external tools
alexa/avs-device-sdk
An SDK for commercial device makers to integrate Alexa directly into connected products.