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
- rust verification condition generator☆96Updated 8 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated last month
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆100Updated last year
- A tool for finding large memcpy's in llvm ir☆61Updated 6 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago
- A graphical debugger for Rust MIR☆193Updated 2 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆86Updated 2 years ago
- JS affine☆67Updated 5 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- 🎯 A collection of fuzzing targets written in Rust.☆105Updated 4 years ago
- Modeling NLL and the Rust borrowck☆83Updated 7 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆204Updated last year
- ☆27Updated 3 years ago
- 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
- Two macros for taking array references in rust.☆85Updated 10 months ago
- Cargo dephell analyzes the third-party dependencies of a Rust workspace☆48Updated 2 years ago
- Rust implementation `libsodium/utils`.☆50Updated 6 months ago
- Effortlessly fuzz libraries with large API surfaces☆70Updated 3 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- Verification working group☆104Updated 6 years ago
- Coordination repository for the Secure Code Working Group☆163Updated 4 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆101Updated last year
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆39Updated 7 years ago
- A Cargo plugin to list unsafe code in a Rust project.☆45Updated 7 years ago
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago
- Check your crate for (possible) no_std compatibility☆213Updated 2 years ago