hlisdero / cargo-check-deadlockLinks
Find deadlocks in Rust code with Petri net model checking
☆41Updated 2 weeks ago
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:
- Choose Rust types at compile-time via constants☆69Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- A tiny utility to help save you a lot of effort with long winded `#[cfg()]` checks in Rust.☆88Updated 7 months ago
- A memory efficient syntax tree for language developers☆63Updated 4 months ago
- Helper macros: autoimpl, impl_scope☆68Updated last week
- ☆59Updated last year
- An alternate Cargo registry using static files☆134Updated last month
- ☆76Updated last month
- docs.rs as a publishing platform?☆71Updated 3 weeks ago
- Mirror of Rust's allocator api for use on stable rust☆70Updated 3 months ago
- We have Crater At Home☆36Updated last year
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- A primitive for writing structural search and replace programs for rust☆31Updated 2 months ago
- Web application to render a diff between Rust crate versions. Implemented in Yew, runs fully in the browser as WebAssembly.☆135Updated 5 months ago
- A low-level I/O ownership and borrowing library☆106Updated 4 months ago
- Lending iterators on stable Rust☆83Updated last year
- ☆34Updated last year
- Temporarily take ownership of a value at a mutable location, and replace it with a new value based on the old one.☆114Updated 6 months ago
- ☆99Updated 3 months ago
- ☆76Updated 3 months ago
- A lightweight attribute macro for easily writing extension trait pattern.☆86Updated last week
- This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.☆152Updated 2 weeks ago
- Make trait methods callable without the trait in scope☆161Updated 3 weeks ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆115Updated last month
- Serde serializer for generating Starlark build targets☆69Updated 3 weeks ago
- Utilities for working with impl traits in Rust.☆118Updated 10 months ago
- A concise, self-describing binary format written in Rust for Serde☆67Updated last year
- Defer dropping large structs to a background thread☆66Updated 3 years ago
- Automatic cfg for Rust compiler features☆105Updated 5 months ago
- Cargo API written in Paris☆54Updated last week