Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "tla" keyword
Top 5.7% on proxy.golang.org
6 versions - Latest release: about 1 year ago - 132 stars on GitHub
github.com/DistCompiler/pgo/systems/raftkvs v0.0.0-20230406201506-2e7796a15849
PGo is a source to source compiler from Modular PlusCal specs into Go programs.6 versions - Latest release: about 1 year ago - 132 stars on GitHub
Top 5.7% on proxy.golang.org
6 versions - Latest release: about 1 year ago - 133 stars on GitHub
github.com/DistCompiler/pgo/systems/pbkvs v0.0.0-20230406201506-2e7796a15849
PGo is a source to source compiler from Modular PlusCal specs into Go programs.6 versions - Latest release: about 1 year ago - 133 stars on GitHub
Top 5.6% on proxy.golang.org
6 versions - Latest release: about 1 year ago - 133 stars on GitHub
github.com/DistCompiler/pgo/systems/raftres v0.0.0-20230406201506-2e7796a15849
PGo is a source to source compiler from Modular PlusCal specs into Go programs.6 versions - Latest release: about 1 year ago - 133 stars on GitHub
Top 5.7% on proxy.golang.org
2 versions - Latest release: over 1 year ago - 132 stars on GitHub
github.com/distcompiler/pgo v0.0.0-20221104204441-db3021a95cc9
PGo is a source to source compiler from Modular PlusCal specs into Go programs.2 versions - Latest release: over 1 year ago - 132 stars on GitHub
Top 5.7% on proxy.golang.org
1 version - Latest release: over 1 year ago - 132 stars on GitHub
github.com/DistCompiler/pgo v0.0.0-20221016061555-8d898bd61a05
PGo is a source to source compiler from Modular PlusCal specs into Go programs.1 version - Latest release: over 1 year ago - 132 stars on GitHub
Top 6.4% on proxy.golang.org
12 versions - Latest release: over 1 year ago - 41 stars on GitHub
github.com/informalsystems/modelator v0.6.6
Model-based testing tool12 versions - Latest release: over 1 year ago - 41 stars on GitHub
Top 6.4% on proxy.golang.org
1 version - Latest release: over 2 years ago - 41 stars on GitHub
github.com/informalsystems/modelator/go v0.0.0-20220120163956-cecd980d97e6
Model-based testing tool1 version - Latest release: over 2 years ago - 41 stars on GitHub
Top 7.5% on proxy.golang.org
Latest release: 3 months ago - 142 stars on GitHub
github.com/DistCompiler/PGo/distsys removed
PGo is a source to source compiler from Modular PlusCal specs into Go programs.Latest release: 3 months ago - 142 stars on GitHub
Top 7.5% on proxy.golang.org
Latest release: 5 months ago - 142 stars on GitHub
github.com/DistCompiler/pgo/distsys removed
PGo is a source to source compiler from Modular PlusCal specs into Go programs.Latest release: 5 months ago - 142 stars on GitHub