A C library providing various concurrent data structures and reclamation schemes.

High performance containers and utilities for concurrent and asynchronous programming

Effective Memory Reclamation

Scalable and lock-free memory reclamation system

concurrent and lockfree data structures in C

Verification tool for lock-free data structures with safe memory reclamation.