hlisdero / cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
☆26Updated 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
- cargo-expand, but with Hygiene [WIP]☆21Updated last year
- Simple goldenfile testing in Rust.☆39Updated 2 weeks ago
- A concise, self-describing binary format written in Rust for Serde☆64Updated 6 months ago
- serde::Deserializer for proc_macro/proc_macro2::TokenStream☆69Updated 3 months ago
- One pointer wide trait objects which are also FFI safe, allowing traits to be passed to/from and implemented by C ABI code.☆42Updated 3 years ago
- CBOR: Concise Binary Object Representation☆63Updated last month
- A sinless derive helper☆62Updated 3 months ago
- cross-platform Rust API for memory mapped IO☆41Updated 9 months ago
- Lending iterators on stable Rust☆81Updated last year
- Remove Cargo.lock lockfile☆33Updated last month
- Full precision decimal representation of f64☆25Updated this week
- Mirror of Rust's allocator api for use on stable rust☆51Updated this week
- A primitive for writing structural search and replace programs for rust☆31Updated 7 months ago
- A Rust crate for formatting strings dynamically☆31Updated last year
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated last month
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆58Updated this week
- Experimenting with Rust's fundamental data model☆50Updated 4 months ago
- Test harness for declarative and procedural macros expansion via `cargo-expand`☆53Updated 3 weeks ago
- Helper macros: autoimpl, impl_scope☆59Updated last month
- Data structures like Rust `alloc` which reuse user allocated memory☆52Updated 5 months ago
- Asynchronous DNS lookups☆65Updated 8 months ago
- A more flexible version of the Rust `scoped-tls` library☆14Updated 4 months ago
- Bindings to the brotli library featuring a low-overhead encoder and decoder, Writers and Readers for compression and decompression at cus…☆25Updated last year
- ☆53Updated this week
- A tiny utility to help save you a lot of effort with long winded `#[cfg()]` checks in Rust.☆76Updated last month
- sptr: The Strict Provenance Polyfill☆76Updated last year
- ☆38Updated this week
- Unsafe marker trait for types that deref to a stable address☆31Updated last year
- ☆41Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 4 months ago