GitHub repository: open-s4c/benchamel
Primary language: C
Description: A curated collection of concurrency bugs