PrototypeCommon
DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
- Owner
- DistCompiler (organization)
- Stars
- Stars: 211
- Forks
- Forks: 20
- Language
- TLA
- License
- Apache-2.0
- Created
- 2018
- Topics
- tlapgogocompilerdistributed-systemspluscalscala
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in TLA
All TLA repos- Apress/practical-tla-plusStars: 300TLAAlpha
- Azure/azure-cosmos-tlaStars: 298TLAAlpha
- hwayne/learntla-v2Stars: 278TLAAlpha
- vignesh07/clawdbot-formal-modelsStars: 198TLAPrototype
- Vanlightly/bookkeeper-tlaplusStars: 104TLAPrototype