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