GitHub repository: memorax/memorax
Primary language: C++
Description: Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Currently supports the TSO, PSO and VIPS memory models.