hlisdero / cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
☆25Updated this week
Related projects ⓘ
Alternatives and complementary repositories for cargo-check-deadlock
- Lending iterators on stable Rust☆80Updated 10 months ago
- Automatic cfg for Rust compiler features☆95Updated last month
- cargo-expand, but with Hygiene [WIP]☆21Updated last year
- ☆40Updated 2 months ago
- Remove Cargo.lock lockfile☆32Updated last week
- Automatically implement traits for common smart pointers☆104Updated 8 months ago
- Duplicate an async I/O handle☆40Updated last month
- sptr: The Strict Provenance Polyfill☆76Updated last year
- GitHub Action to create a release PR using cargo-release — soft deprecated: try release-plz instead!☆44Updated 2 weeks ago
- Temporarily take ownership of a value at a mutable location, and replace it with a new value based on the old one.☆105Updated 2 years ago
- Library for scripting analyses against crates.io's database dumps☆66Updated this week
- Mirror of Rust's allocator api for use on stable rust☆47Updated this week
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆57Updated this week
- (lifetime) GATs on stable Rust☆56Updated 10 months ago
- Timer facilities for Rust's async story☆53Updated last month
- A modern and lightweight implementation of arbitrary integers for Rust☆32Updated 2 months ago
- Simple goldenfile testing in Rust.☆38Updated 2 months ago
- Full precision decimal representation of f64☆25Updated last week
- ☆68Updated last month
- Nudging the compiler to auto-vectorize things☆73Updated last year
- Macros to erase scope information from tokens☆24Updated last year
- Serde serializer for generating Starlark build targets☆61Updated last week
- Compile-time string operations☆80Updated last week
- Minimal TOML library with few dependencies☆81Updated last week
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆42Updated 10 months ago
- cross-platform Rust API for memory mapped IO☆40Updated 6 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆74Updated last week
- Extended utilities for working with files and filesystems in Rust. This is a fork of the fs2-rs crate, the aim for this fork is to suppor…☆61Updated 2 weeks ago
- A concise, self-describing binary format written in Rust for Serde☆60Updated 3 months ago
- Attribute proc-macro to simplify deriving standard and other traits with custom generic type bounds.☆59Updated 3 months ago