GitHub repository: DistCompiler/pgo
Primary language: TLA
Description: PGo is a source to source compiler from Modular PlusCal specs into Go programs.