tnballo / high-assurance-rustLinks
A free book about developing secure and robust systems software.
☆1,358Updated 3 weeks 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:
- Learn Macros In Rust☆1,164Updated last year
- rust style and philosophy☆1,134Updated 5 years ago
- The Rust Performance Book☆2,455Updated 3 weeks ago
- Kani Rust Verifier☆2,620Updated this week
- Analysis of various tricky Rust code☆1,929Updated last month
- Medium to hard Rust questions with explanations☆1,824Updated 3 weeks ago
- A next-generation test runner for Rust.☆2,520Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,005Updated 7 months ago
- Code examples, data structures, and links from my book, Rust Atomics and Locks.☆1,480Updated 11 months ago
- ☆582Updated last year
- Rust examples for all 23 classic GoF design patterns, and even a little more☆1,030Updated 7 months ago
- Concurrency permutation testing tool for Rust.☆2,424Updated 3 months ago
- A community curated list of Rust Language streamers☆728Updated last year
- A precise specification for "Rust lite / MIR plus"☆914Updated last week
- Hypothesis-like property testing for Rust☆1,905Updated last week
- A community guide to the Rust ecosystem☆1,472Updated 2 weeks ago
- A list of rust lang mentors tagged by topics of interest☆812Updated 2 months ago
- A collection of blog posts and links that talk about how to successfully use Rust.☆381Updated 3 years ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,499Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,664Updated last week
- Subcommand to show result of macro expansion☆2,901Updated this week
- a debugger for async rust!☆4,132Updated 2 months ago
- A snapshot testing library for rust☆2,545Updated 3 weeks ago
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,067Updated 3 weeks ago
- A code coverage tool for Rust projects☆2,741Updated last week
- Rust Memory Safety & Undefined Behavior Detection☆1,346Updated last year
- Leetcode Solutions in Rust, Advent of Code Solutions in Rust and more☆925Updated 7 months ago
- Scan your Rust crate for semver violations.☆1,433Updated last week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,784Updated last year
- An easy-to-use Rust framework for building robust and performant APIs☆1,933Updated this week