GitHub repository: upamanyus/goose
Primary language: Go
Description: Goose converts a small subset of Go to Coq