hlisdero / cargo-check-deadlockLinks
Find deadlocks in Rust code with Petri net model checking
☆33Updated 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
Sorting:
- Data-driven tests on stable Rust☆40Updated this week
- 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 2 weeks ago
- Some internal rustc tools made accessible☆47Updated 6 months ago
- Choose Rust types at compile-time via constants☆68Updated last year
- (lifetime) GATs on stable Rust☆59Updated last year
- Lending iterators on stable Rust☆83Updated last year
- ☆72Updated last month
- Experimenting with Rust's fundamental data model☆53Updated last week
- Helper macros: autoimpl, impl_scope☆65Updated 3 weeks ago
- Mirror of Rust's allocator api for use on stable rust☆62Updated 2 months ago
- Simple goldenfile testing in Rust☆40Updated 5 months ago
- cargo-expand, but with Hygiene [WIP]☆21Updated last year
- Serde Visitor for deserializing untagged enums☆64Updated last week
- Temporarily take ownership of a value at a mutable location, and replace it with a new value based on the old one.☆112Updated last month
- Const TypeId and non-'static TypeId☆66Updated 2 months ago
- An alternate Cargo registry using static files☆121Updated 4 months ago
- sptr: The Strict Provenance Polyfill☆75Updated last year
- Const equivalents of std functions, compile-time comparison, and parsing.☆99Updated 6 months ago
- Procedural macro to easily write higher-order strategies in proptest.☆46Updated 3 weeks ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated 8 months ago
- Macro for sealing traits and structures☆58Updated 7 months ago
- A minimalist property-based testing library☆110Updated 2 months ago
- Compile-time checks that an enum or match is written in sorted order☆117Updated last month
- Utilities for working with impl traits in Rust.☆110Updated 5 months ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆64Updated this week
- An updated version of linked-hash-map and friends☆120Updated 3 months ago
- A memory efficient syntax tree for language developers☆62Updated last month
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 8 months ago
- Make trait methods callable without the trait in scope☆149Updated last month
- An LRU cache implementation with constant time operations and weighted semantic.☆46Updated 6 months ago