UBC-NSS/pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

1 best points · 1 comments · 1 Hacker News post · 212 GitHub stars · View on GitHub

Hacker News discussions

• PGo is a source to source compiler to compile PlusCal into Go/TLA+ (1 points, 1 comments, by ngaut, 2018-08-30)