Find deadlocks in Rust code with Petri net model checking
Archive
Realistic first-contribution target: active project, 166 open issues, small enough for a newcomer PR to land.
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
Find deadlocks in Rust code with Petri net model checking
Fun, portable, minimalistic virtual machine.
PubGrub version solving algorithm implemented in Rust
Show details about outdated packages in your NixOS system.
A Linux stack that modernizes Proton/wineserver for a dynamically optimized gaming experience.
Keyboard-first Windows video player for fast local playback, smooth scrubbing, and ergonomic monitor control.
Set the system timezone based on IP geolocation.
Rust Bindings for CRIU
Rust bindings to libheif-dev