Lib.rs
›
Users
#
petri-net
#
deadlock-detection
hlisdero
Horacio Lisdero Scaffino
Joined crates-io a year ago. Joined GitHub 8 years ago.
GitHub
crates.io
Maintainer dashboard
hlisdero created 2 crates
cargo-check-deadlock
Sole owner since May 2023. Last updated 2 months ago.
netcrab
Sole owner since May 2023. Last updated a year ago.