hlisdero / cargo-check-deadlockLinks
Find deadlocks in Rust code with Petri net model checking
☆29Updated this 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:
- ☆72Updated 2 months ago
- Automatic cfg for Rust compiler features☆95Updated last week
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Macros to erase scope information from tokens☆24Updated 3 months ago
- Data-driven tests on stable Rust☆39Updated this week
- Experimenting with Rust's fundamental data model☆51Updated 7 months ago
- cross-platform Rust API for memory mapped IO☆42Updated last year
- cargo-expand, but with Hygiene [WIP]☆21Updated last year
- Simple goldenfile testing in Rust.☆40Updated 3 months ago
- ☆16Updated 2 months ago
- Mirror of Rust's allocator api for use on stable rust☆60Updated 3 weeks ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 7 months ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆48Updated last year
- Lending iterators on stable Rust☆82Updated last year
- ☆20Updated 3 years ago
- Helper macros: autoimpl, impl_scope☆60Updated 5 months ago
- Duplicate an async I/O handle☆41Updated 4 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 10 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- (lifetime) GATs on stable Rust☆59Updated last year
- Lossless functionality for platform-native strings.☆71Updated 3 months ago
- A concise, self-describing binary format written in Rust for Serde☆66Updated 9 months ago
- Unsafe marker trait for types that deref to a stable address☆31Updated 2 years ago
- Automatically implement traits for common smart pointers☆114Updated last month
- Threadsafe RefCell for Rust☆90Updated 2 months ago
- We have Crater At Home☆34Updated 7 months ago
- futures::AtomicWaker extracted into its own crate☆27Updated 2 weeks ago
- Library for scripting analyses against crates.io's database dumps☆69Updated 3 months ago
- ☆69Updated last week
- Serde serializer for generating Starlark build targets☆66Updated 2 weeks ago