GitHub / DistCompiler / pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DistCompiler%2Fpgo
PURL: pkg:github/DistCompiler/pgo
Stars: 184
Forks: 16
Open issues: 18
License: apache-2.0
Language: TLA
Size: 86.2 MB
Dependencies parsed at: Pending
Created at: over 7 years ago
Updated at: about 2 hours ago
Pushed at: about 2 hours ago
Last synced at: about 1 hour ago
Commit Stats
Commits: 1705
Authors: 20
Mean commits per author: 85.25
Development Distribution Score: 0.733
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/DistCompiler/pgo
Topics: compiler, distributed-systems, go, pgo, pluscal, scala, tla