hlisdero / cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
☆28Updated last week
Alternatives and similar repositories for cargo-check-deadlock
Users that are interested in cargo-check-deadlock are comparing it to the libraries listed below
Sorting:
- cargo-expand, but with Hygiene [WIP]☆21Updated last year
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 6 months ago
- Simple goldenfile testing in Rust.☆39Updated 3 months ago
- Remove Cargo.lock lockfile☆33Updated 3 months ago
- Automatic cfg for Rust compiler features☆96Updated 7 months ago
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆102Updated 4 months ago
- Some internal rustc tools made accessible☆47Updated 4 months ago
- ☆40Updated 10 months ago
- ☆72Updated last month
- cross-platform Rust API for memory mapped IO☆42Updated last year
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆85Updated 2 years ago
- Experimenting with Rust's fundamental data model☆51Updated 7 months ago
- Rust String type with configurable byte storage.☆35Updated 8 months ago
- Serde serializer for generating Starlark build targets☆66Updated 2 months ago
- Helper macros: autoimpl, impl_scope☆60Updated 4 months ago
- Mirror of Rust's allocator api for use on stable rust☆59Updated this week
- Lending iterators on stable Rust☆82Updated last year
- Choose Rust types at compile-time via constants☆65Updated last year
- Attribute proc-macro to delegate method to a field☆29Updated last year
- ☆16Updated 2 months ago
- A memory efficient syntax tree for language developers☆57Updated last month
- Compile Rust compiler using Buck2☆39Updated last week
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆56Updated last week
- We have Crater At Home☆32Updated 6 months ago
- Lossless functionality for platform-native strings.☆71Updated 2 months ago
- A Rust memory allocator for large slices that don't escape the stack.☆30Updated 2 years ago
- Stack-allocated DSTs for rust (fixed capacity)☆49Updated last year
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year
- A snapshot of name squatting on crates.io☆75Updated last year