praezi / rustLinks
RustPräzi: Representing crates.io as a call-based dependency network
☆81Updated 6 years ago
Alternatives and similar repositories for rust
Users that are interested in rust are comparing it to the libraries listed below
Sorting:
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Updated 4 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 5 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- rust verification condition generator☆96Updated 8 years ago
- A graphical debugger for Rust MIR☆194Updated 2 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 2 months ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆101Updated last year
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆86Updated 2 years ago
- A tool for finding large memcpy's in llvm ir☆61Updated 6 years ago
- Use regular expressions to generate text.☆67Updated 2 years ago
- JS affine☆67Updated 5 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆204Updated last year
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- Verification working group☆104Updated 6 years ago
- Modeling NLL and the Rust borrowck☆84Updated 7 years ago
- Rust implementation `libsodium/utils`.☆51Updated 7 months ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- Coordination repository for the Secure Code Working Group☆163Updated 4 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- Cargo dephell analyzes the third-party dependencies of a Rust workspace☆48Updated 2 years ago
- Execute your code on the Rust ecosystem.☆184Updated 2 months ago
- 🎯 A collection of fuzzing targets written in Rust.☆105Updated 4 years ago
- ☆63Updated 8 years ago
- Token tree calling convention☆80Updated 2 years ago
- A Cargo plugin to list unsafe code in a Rust project.☆45Updated 7 years ago
- Spawn processes with arbitrary closures in rust☆112Updated 3 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆129Updated 3 years ago
- Effortlessly fuzz libraries with large API surfaces☆70Updated 4 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 4 months ago