Hacker GitHub

← All repos

DistCompiler/pgo

View on GitHub ↗ ★ 212 TLA

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

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2018-03-13 · latest 2021-03-31

Mentions per year 3 mentions · busiest year 2018 (2)
20082026
AllStoriesComments NewestTopOldest
  1. The other one I know about is PGo, which is a bidirectional go-pluscal compiler: https://github.com/UBC-NSS/pgo
    comment by hwayne · 2021-03-31 · in TLA+ Action Properties
  2. …it has never been achieved for any but very small programs (and even then at great cost). [1]: https://github.com/UBC-NSS/pgo
    comment by pron · 2018-03-13 · in Modeling Redux with TLA+