Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 6.0% on proxy.golang.org

proxy.golang.org : github.com/DistCompiler/pgo/systems/locksvc

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

Registry - Source - Documentation - JSON - codemeta.json
purl: pkg:golang/github.com/%21dist%21compiler/pgo/systems/locksvc
Keywords: compiler , distributed-systems , go , pgo , pluscal , scala , tla
License: Apache-2.0
Latest release: 21 days ago
Namespace: github.com/DistCompiler/pgo/systems
Stars: 192 on GitHub
Forks: 18 on GitHub
Total Commits: 1705
Committers: 20
Average commits per author: 85.25
Development Distribution Score (DDS): 0.733
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago

Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/proxy
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 5 days ago - 192 stars on GitHub
Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/gcounter
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 21 days ago - 192 stars on GitHub
Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/loadbalancer
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 21 days ago - 192 stars on GitHub
Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/shopcart
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 21 days ago - 192 stars on GitHub
Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/dqueue
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 21 days ago - 192 stars on GitHub
Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/shcounter
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 21 days ago - 192 stars on GitHub
Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/nestedcrdtimpl
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 21 days ago - 192 stars on GitHub
Top 6.0% on proxy.golang.org
github.com/DistCompiler/pgo/systems/replicatedkv
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release: 21 days ago - 192 stars on GitHub
Top 5.6% on proxy.golang.org
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: over 2 years ago - 192 stars on GitHub
Top 5.7% on proxy.golang.org
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: over 2 years ago - 192 stars on GitHub
Top 5.7% on proxy.golang.org
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: over 2 years ago - 192 stars on GitHub
Top 5.7% on proxy.golang.org
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: about 3 years ago - 192 stars on GitHub
Top 5.7% on proxy.golang.org
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: about 3 years ago - 192 stars on GitHub