tnballo / high-assurance-rustLinks
A free book about developing secure and robust systems software.
☆1,343Updated 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:
- A next-generation test runner for Rust.☆2,454Updated this week
- rust style and philosophy☆1,127Updated 5 years ago
- Analysis of various tricky Rust code☆1,896Updated 4 months ago
- Learn Macros In Rust☆1,148Updated 10 months ago
- The Rust Performance Book☆2,426Updated last week
- Kani Rust Verifier☆2,557Updated this week
- Subcommand to show result of macro expansion☆2,855Updated last month
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,989Updated 5 months ago
- A code coverage tool for Rust projects☆2,707Updated last week
- A snapshot testing library for rust☆2,497Updated 2 weeks ago
- Concurrency permutation testing tool for Rust.☆2,352Updated last month
- Medium to hard Rust questions with explanations☆1,787Updated 2 months ago
- Zero-copy deserialization framework for Rust☆3,269Updated last month
- Hypothesis-like property testing for Rust☆1,880Updated this week
- ❌ Cargo plugin for linting your dependencies 🦀☆1,955Updated last week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,480Updated last week
- Defines the Rust borrow checker.☆1,442Updated 11 months ago
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,030Updated last week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,420Updated this week
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- Rust examples for all 23 classic GoF design patterns, and even a little more☆1,021Updated 5 months ago
- background code checker☆2,543Updated this week
- Code examples, data structures, and links from my book, Rust Atomics and Locks.☆1,452Updated 9 months ago
- Scan your Rust crate for semver violations.