tnballo / high-assurance-rustLinks
A free book about developing secure and robust systems software.
☆1,366Updated 2 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,662Updated this week
- The Rust Performance Book☆2,476Updated this week
- Learn Macros In Rust☆1,176Updated last year
- Analysis of various tricky Rust code☆1,956Updated 3 weeks ago
- Medium to hard Rust questions with explanations☆1,843Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,130Updated 9 months ago
- rust style and philosophy☆1,139Updated 5 years ago
- Code examples, data structures, and links from my book, Rust Atomics and Locks.☆1,494Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,675Updated this week
- ☆586Updated last year
- A next-generation test runner for Rust.☆2,577Updated this week
- Concurrency permutation testing tool for Rust.☆2,457Updated last month
- Magical Rust patterns laid out and simplified☆1,808Updated last month
- Hypothesis-like property testing for Rust☆1,927Updated this week
- A community curated list of Rust Language streamers☆727Updated last year
- Rust examples for all 23 classic GoF design patterns, and even a little more☆1,031Updated 8 months ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,516Updated last week
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,107Updated last week
- A list of rust lang mentors tagged by topics of interest☆815Updated 4 months ago
- Interactively Visualizing Ownership and Borrowing for Rust☆2,793Updated last year
- A precise specification for "Rust lite / MIR plus"☆926Updated 2 weeks ago
- Rust Memory Safety & Undefined Behavior Detection☆1,351Updated last year
- A snapshot testing library for rust☆2,569Updated last week
- A code coverage tool for Rust projects☆2,771Updated 2 weeks ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,464Updated this week
- The Little Book of Rust Macros (updated fork)☆857Updated 3 months ago
- Rust Concurrency Cheat Sheet☆398Updated 10 months ago
- a debugger for async rust!☆4,193Updated this week
- Scan your Rust crate for semver violations.☆1,472Updated this week
- The fast sync and async channel that Rust deserves☆1,616Updated 4 months ago