GitHub - tokio-rs/loom: Concurrency permutation testing tool for Rust.

Linking pages

GitHub - tokio-rs/tokio: A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ... https://github.com/tokio-rs/tokio 58 comments
GitHub - asynchronics/tachyonix: An asynchronous, multi-producer, single-consumer (MPSC) bounded channel that operates at tachyonic speeds https://github.com/asynchronics/tachyonix 23 comments
GitHub - tower120/rc_event_queue: VecDeque-like fast, unbounded, mpmc/spmc concurent FIFO message queue. Lockless reads, write-lock writes. https://github.com/tower120/rc_event_queue 18 comments
Automatic Rust verification tools (2021) – Alastair Reid – Researcher at Intel https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 16 comments
arl/README-Rust.md at master · kaxap/arl · GitHub https://github.com/kaxap/arl/blob/master/README-Rust.md 14 comments
Oh the Crates You'll Go! A 2022 Retrospective https://jack.wrenn.fyi/blog/2022-retrospective/ 4 comments
GitHub - SmnTin/lincheck: A linearizability checker for concurrent data structures https://github.com/SmnTin/lincheck 1 comment
GitHub - awslabs/shuttle: Shuttle is a library for testing concurrent Rust code https://github.com/awslabs/shuttle 0 comments
GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments