proxy.golang.org : github.com/DistCompiler/pgo/systems/gcounter
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/gcounter
Keywords:
compiler
, distributed-systems
, go
, pgo
, pluscal
, scala
, tla
License: Apache-2.0
Latest release: 7 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: 7 days ago