GitHub repository: tjungblu/porcupine
Primary language: Go
Description: A fast linearizability checker written in Go 🔎