github.com/distcompiler/pgo (go): PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Keywords: compiler|distributed-systems|go|pgo|pluscal|scala|tla