Archive

Repos

Jobs Repos Funding Ecosystems Orgs

← Repositories

hlisdero

cargo-check-deadlock

Find deadlocks in Rust code with Petri net model checking

59

Stars

3

Forks

4

Issues

Apache-2.0

License

active

Last GitHub commit: Jun 22, 2026

View on GitHub →

Contribution

4 open issues →active project

Dependencies (5 total)

clap log env_logger predicates assert_fs

← Browse all repos Something inaccurate? Report a correction →

osspath

Curated weekly. Quiet by design.

Community Events Job Boards About Methodology Contact Privacy