PGo is a source to source compiler to compile PlusCal into Go lang - View it on GitHub