Kovan: wait-free memory reclamation for Rust, TLA+ verified, no_std, with wait-free concurrent data structures built on top

submitted by /u/vertexclique
[link] [comments]