GitHub repository: ErikKassubek/ADVOCATE
Primary language: Go
Description: AdvocateGo: Automated Detection and Verification Of Concurrency bugs through Analysis of Trace recordings of program Executions in Go.