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