GitHub repository: o2lab/go2
Primary language: Go
Description: Open source static race detector for Go programs