GitHub repository: open-s4c/libvsync
Primary language: C
Created: 2024-02-02T10:54:12Z
Description: A verified library of synchronization primitives and concurrent data structures