Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Efficient Lock Free Durable Sets | 10 | 4 years ago | mit | C++ | ||||||
Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (https://dl.acm.org/doi/10.1145/3360554) | ||||||||||
Lock_free | 8 | 5 years ago | 1 | C++ | ||||||
C++17 lock-free data structure library | ||||||||||
Lincheck | 5 | a year ago | mit | Rust | ||||||
A linearizability checker for concurrent data structures |