====== Generating GO from pluscal specs ======

PGo is a source to source compiler that translates Modular PlusCal specifications (which use a superset of PlusCal) into Go programs.

  * Homepage: https:%%//%%distcompiler.github.io/
  * Repo: https:%%//%%github.com/DistCompiler/pgo

Watch the talk to the TLA+ 2019 conf:

{{youtube>GvrpUeDN5zs?large}}

You can also read the related paper: [[https://dl.acm.org/doi/10.1145/3575693.3575695|Compiling Distributed System Models with PGo]]