Ecosyste.ms: 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.0.10

Detect deadlocks in Rust source code at compile time using Petri nets
11 versions - Latest release: 23 days ago - 3.11 thousand downloads total - 18 stars on GitHub - 1 maintainer

Related Keywords

petri-net 1 deadlock-detection 1 lost-signals 1 model-checker 1 model-checking 1 rust 1