hlisdero / cargo-check-deadlockLinks
Find deadlocks in Rust code with Petri net model checking
☆29Updated 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:
- A primitive for writing structural search and replace programs for rust☆31Updated 11 months ago
- A memory efficient syntax tree for language developers☆62Updated last month
- Data-driven tests on stable Rust☆40Updated this week
- We have Crater At Home☆35Updated 8 months ago
- Mirror of Rust's allocator api for use on stable rust☆61Updated last month
- Simple goldenfile testing in Rust☆40Updated 4 months ago
- ☆72Updated 2 months ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆49Updated last year
- Helper macros: autoimpl, impl_scope☆63Updated this week
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆103Updated 5 months ago
- A minimalist property-based testing library☆110Updated last month
- Generate is a library for building iterators on the fly☆39Updated 4 years ago
- An alternate Cargo registry using static files☆121Updated 3 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…☆59Updated 3 weeks ago
- ☆53Updated 3 months ago
- Serde serializer for generating Starlark build targets☆66Updated last month
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 3 months ago
- Remove Cargo.lock lockfile☆32Updated 5 months ago
- Fake implementation of `std::Fn` for user-defined data types☆36Updated 2 years ago
- Automatic cfg for Rust compiler features☆99Updated last week
- cross-platform Rust API for memory mapped IO☆42Updated last year
- ☆20Updated 3 years ago
- Lending iterators on stable Rust☆82Updated last year
- A safe `Pin`-based intrusive doubly-linked list in Rust☆21Updated 2 months ago
- Run pkg-config from declarative dependencies in Cargo.toml☆96Updated last week
- serde::Deserializer for proc_macro/proc_macro2::TokenStream☆73Updated 7 months ago
- A concise, self-describing binary format written in Rust for Serde☆66Updated 10 months ago
- cargo-expand, but with Hygiene [WIP]☆21Updated last year
- docs.rs as a publishing platform?☆69Updated last month