DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
TLAApache-2.0
Watchers
- bestchaiUniversity of British Columbia
- brandonzhang
- cbiale
- csgordonDrexel University
- dgryskiVancouver, Canada
- drequinoxNorth of Alnitak in Orion's Belt
- exklamationmark@viki-org @grokking-vietnam
- fhackett
- init-js
- jhcloos
- lemmy@microsoft
- ligurio
- margoseltzer
- rmascarenhas
- shayanhAxiom
- sledorzeLille, France
- turgon
- zhoudongxu