Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

DistCompiler/pgo

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

Propriétaire: DistCompiler (organisation)
Étoiles: Étoiles : 211
Forks: Forks : 20
Langage: TLA
Licence: Apache-2.0
Création: 2018
Sujets: tlapgogocompilerdistributed-systemspluscalscala
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts TLA

Tous les dépôts TLA

Apress/practical-tla-plusÉtoiles : 300TLAAlpha
Azure/azure-cosmos-tlaÉtoiles : 298TLAAlpha
hwayne/learntla-v2Étoiles : 278TLAAlpha
vignesh07/clawdbot-formal-modelsÉtoiles : 198TLAPrototype
Vanlightly/bookkeeper-tlaplusÉtoiles : 104TLAPrototype