tnballo / high-assurance-rustLinks
A free book about developing secure and robust systems software.
☆1,371Updated 3 months ago
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:
- Kani Rust Verifier☆2,712Updated this week
- Learn Macros In Rust☆1,180Updated last year
- The Rust Performance Book☆2,515Updated 3 weeks ago
- A next-generation test runner for Rust.☆2,634Updated this week
- Code examples, data structures, and links from my book, Rust Atomics and Locks.☆1,499Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,688Updated 3 weeks ago
- Analysis of various tricky Rust code☆1,966Updated 2 months ago
- rust style and philosophy☆1,143Updated 6 years ago
- Medium to hard Rust questions with explanations☆1,846Updated last month
- Concurrency permutation testing tool for Rust.☆2,496Updated 2 months ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,769Updated last month
- A community guide to the Rust ecosystem☆1,501Updated last month
- Magical Rust patterns laid out and simplified☆1,816Updated 2 months ago
- Rust examples for all 23 classic GoF design patterns, and even a little more☆1,042Updated 9 months ago
- Hypothesis-like property testing for Rust☆1,952Updated this week
- ☆587Updated last year
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,536Updated last month
- Scan your Rust crate for semver violations.☆1,508Updated this week
- Fast and simple benchmarking for Rust projects☆1,238Updated 6 months ago
- 🔥 Time Travel Visual Debugger for Rust☆1,652Updated 6 months ago
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,121Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,799Updated last year
- A precise specification for "Rust lite / MIR plus"☆940Updated this week
- A snapshot testing library for rust☆2,610Updated this week
- The Little Book of Rust Macros (updated fork)☆874Updated 3 weeks ago
- Subcommand to show result of macro expansion☆2,958Updated this week
- A collection of blog posts and links that talk about how to successfully use Rust.☆392Updated 3 years ago
- a debugger for async rust!☆4,250Updated this week
- A code coverage tool for Rust projects☆2,799Updated this week
- The fast sync and async channel that Rust deserves☆1,632Updated 2 weeks ago