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

PrototypeCommune

Vanlightly/bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol

Propriétaire: Vanlightly (compte personnel)
Étoiles: Étoiles : 104
Forks: Forks : 15
Langage: TLA
Licence: MIT
Création: 2021
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

hwayne/learntla-v2Étoiles : 278TLAAlpha
DistCompiler/pgoÉtoiles : 212TLAPrototype
vignesh07/clawdbot-formal-modelsÉtoiles : 198TLAPrototype