DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
TLAApache-2.0
Stargazers
- adragomirBucharest
- alvinlaiMountain View, CA
- bobyangyf
- brk0v
- canyuchenIllinois Institute of Technology
- chewxySydney
- claudiouzelac
- dgryskiVancouver, Canada
- ELCHILEN0
- fhackett
- fremanQueensland, Australia
- GeorgeEricksonBoston
- ggregRoblox
- giongto35Meta
- glycerine
- gmcabrita@amplemarket
- guseggert@approximatelabs
- hesiyuan
- jbduncanSainsbury's
- junkblockerCA, USA
- kaelzhang81Tencent
- kanghjUCLA
- mennis
- msingleInteSource Partners
- mugli@contentful
- neilvallon
- neverchanje@risingwavelabs
- NovemserChina
- omzmarlon@splunk
- pron
- ssoudanSan Jose, CA
- sunny-g@NearSpaceLabs
- TOTBWFMcMaster University
- vaastavVancouver, Canada
- wantonsolutionsUniversity of California San Diego
- yajirobee@treasure-data