hlisdero / cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
☆28Updated 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
- Lending iterators on stable Rust☆82Updated last year
- A memory efficient syntax tree for language developers☆57Updated this week
- (lifetime) GATs on stable Rust☆57Updated last year
- ☆40Updated last month
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 5 months ago
- Data-driven tests on stable Rust☆39Updated this week
- Simple goldenfile testing in Rust.☆39Updated last month
- cargo-expand, but with Hygiene [WIP]☆21Updated last year
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated 3 months ago
- docs.rs as a publishing platform?☆68Updated last month
- Serde serializer for generating Starlark build targets☆66Updated 3 weeks ago
- Automatic cfg for Rust compiler features☆96Updated 6 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 3 weeks ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- ☆53Updated last month
- Alternative future adapters that provide cancel safety.☆60Updated this week
- A primitive for writing structural search and replace programs for rust☆31Updated 8 months ago
- Library for scripting analyses against crates.io's database dumps☆69Updated last month
- A concise, self-describing binary format written in Rust for Serde☆64Updated 7 months ago
- ☆16Updated 2 weeks ago
- ☆72Updated last week
- Some internal rustc tools made accessible☆47Updated 2 months ago
- Mirror of Rust's allocator api for use on stable rust☆52Updated last month
- ☆20Updated 3 years ago
- We have Crater At Home☆30Updated 5 months ago
- Helper macros: autoimpl, impl_scope☆59Updated 2 months ago
- Define compiler intermediate representation usable by external tools☆71Updated 9 months ago
- A Rust crate for formatting strings dynamically☆32Updated last year
- Experimenting with Rust's fundamental data model☆51Updated 5 months ago
- Async fundamentals initiative: portable and interoperable☆76Updated 2 years ago