Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "rustc-plugin" keyword

cargo-check-deadlock 1.1.0
Detect deadlocks in Rust source code at compile time using Petri nets
17 versions - Latest release: 5 months ago - 18.4 thousand downloads total - 23 stars on GitHub - 1 maintainer
Related Keywords
deadlock-detection 1 lost-signals 1 model-checker 1 petri-net 1 model-checking 1 rust 1