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. ▲ 1
    PGo is a source to source compiler to compile PlusCal into Go/TLA+
    story by ngaut · 2018-08-30 · 1 comment