Popular repositories Loading

1. prusti-dev prusti-dev Public

   Forked from viperproject/prusti-dev

   A static verifier for Rust, based on the Viper verification infrastructure.

   Rust

2. rust-clippy rust-clippy Public

   Forked from rust-lang/rust-clippy

   A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

   Rust

3. miri miri Public

   Forked from rust-lang/miri

   An interpreter for Rust's mid-level intermediate representation

   Rust

4. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust