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

View the packages on the crates.io package registry that are tagged with the "rustc-plugin" keyword.

cargo-check-deadlock 1.0.15
Detect deadlocks in Rust source code at compile time using Petri nets
16 versions - Latest release: 3 months ago - 15.3 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