Pinned Loading

1. snapcrab snapcrab Public

   Experimental Rust interpreter

   Rust 7

2. model-checking/kani model-checking/kani Public

   Kani Rust Verifier

   Rust 2.8k 133

3. rust-lang/project-stable-mir rust-lang/project-stable-mir Public

   Define compiler intermediate representation usable by external tools

   Rust 96 17

4. rust-lang/rust rust-lang/rust Public

   Empowering everyone to build reliable and efficient software.

   Rust 108k 14.1k