Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Tla Rust | 831 | 7 years ago | 1 | TLA | ||||||
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ | ||||||||||
Lincheck | 5 | 8 months ago | mit | Rust | ||||||
A linearizability checker for concurrent data structures |