tnballo / high-assurance-rustLinks
A free book about developing secure and robust systems software.
☆1,345Updated last year
Alternatives and similar repositories for high-assurance-rust
Users that are interested in high-assurance-rust are comparing it to the libraries listed below
Sorting:
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,996Updated 6 months ago
- Analysis of various tricky Rust code☆1,908Updated 2 weeks ago
- A next-generation test runner for Rust.☆2,476Updated this week
- Kani Rust Verifier☆2,580Updated this week
- Concurrency permutation testing tool for Rust.☆2,386Updated 2 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated this week
- Learn Macros In Rust☆1,152Updated 11 months ago
- rust style and philosophy☆1,128Updated 5 years ago
- a debugger for async rust!☆3,964Updated last month
- Hypothesis-like property testing for Rust☆1,884Updated last week
- Code examples, data structures, and links from my book, Rust Atomics and Locks.☆1,463Updated 10 months ago
- Rust examples for all 23 classic GoF design patterns, and even a little more☆1,024Updated 5 months ago
- The Rust Performance Book☆2,433Updated last month
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,491Updated this week
- An easy to use library for pretty print tables of Rust structs and enums.☆2,187Updated last week
- 🔥 Time Travel Visual Debugger for Rust☆1,605Updated 2 months ago
- Medium to hard Rust questions with explanations☆1,794Updated 3 months ago
- Zero-copy deserialization framework for Rust☆3,398Updated this week
- A code coverage tool for Rust projects☆2,719Updated this week
- Magical Rust patterns laid out and simplified☆1,784Updated 2 months ago
- A safe and fast multi-producer, multi-consumer channel.☆2,646Updated 3 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,206Updated this week
- Rust Memory Safety & Undefined Behavior Detection☆1,341Updated last year
- Subcommand to show result of macro expansion☆2,873Updated last week
- The fast sync and async channel that Rust deserves☆1,559Updated last month
- ❌ Cargo plugin for linting your dependencies 🦀☆1,980Updated last week
- Rust newtype with guarantees 🇺🇦 🦀☆1,563Updated 3 months ago
- Statistics-driven benchmarking library for Rust☆5,079Updated last month
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,047Updated 3 weeks ago
- Scan your Rust crate for semver violations.☆1,411Updated this week