GitHub

DistCompiler/pgo

16 forks

184 stars

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

Project metadata as of June 4, 2025.

Related Packages

A related package is a package that declares this repository in its metadata. The list of packages is ordered by package names alphabetically.

System	Package
Go	github.com/DistCompiler/pgo/systems/dqueue
Go	github.com/DistCompiler/pgo/systems/gcounter
Go	github.com/DistCompiler/pgo/systems/loadbalancer
Go	github.com/DistCompiler/pgo/systems/locksvc
Go	github.com/DistCompiler/pgo/systems/nestedcrdtimpl
Go	github.com/DistCompiler/pgo/systems/pbkvs
Go	github.com/DistCompiler/pgo/systems/proxy
Go	github.com/DistCompiler/pgo/systems/raftkvs
Go	github.com/DistCompiler/pgo/systems/raftres
Go	github.com/DistCompiler/pgo/systems/replicatedkv

Show 10 per page