GitHub repository: mpdn/unthread
Primary language: C
Description: A deterministic, fuzzable pthread implementation