praezi / rustLinks
RustPräzi: Representing crates.io as a call-based dependency network
☆82Updated 7 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
- A Rust compiler plugin and support library to annotate overflow behavior☆106Updated 2 years ago
- Perform Cargo builds inside of a sandboxed environment☆52Updated 6 years ago
- rust verification condition generator☆96Updated 9 years ago
- Helpers for clearing sensitive data on the stack and heap☆54Updated 7 months ago
- A graphical debugger for Rust MIR☆199Updated 3 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 5 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆104Updated 6 years 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…☆102Updated last year
- A tool for finding large memcpy's in llvm ir☆61Updated 6 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 3 years ago
- Rust implementation `libsodium/utils`.☆53Updated last year
- Token tree calling convention☆82Updated 3 years ago
- A Cargo plugin to list unsafe code in a Rust project.☆47Updated 7 years ago
- Execute your code on the Rust ecosystem.☆189Updated last week
- ☆27Updated 4 years ago
- Spawn processes with arbitrary closures in rust☆114Updated 4 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆88Updated 2 years ago
- JS affine☆69Updated 5 years ago
- Effortlessly fuzz libraries with large API surfaces☆71Updated 4 years ago
- Coordination repository for the Secure Code Working Group☆162Updated 4 years ago
- Modeling NLL and the Rust borrowck☆85Updated 8 years ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆214Updated 2 years ago
- Use regular expressions to generate text.☆68Updated 2 years ago
- SAW front end for the MIR language from rustc☆36Updated 5 years ago
- Two macros for taking array references in rust.☆85Updated last year
- ☆64Updated 8 years ago
- Coordination repository of the portability Working Group (WG)☆42Updated 4 years ago
- Install a rustc master toolchain usable from rustup☆77Updated 2 months ago
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago