# ongardie/raft.tla

<https://repo.masters-masters.com/repos/ongardie/raft.tla>

[Accueil](https://repo.masters-masters.com/) › [ongardie](https://repo.masters-masters.com/owners/ongardie) › [raft.tla](https://repo.masters-masters.com/repos/ongardie/raft.tla)

ongardie/raft.tla, dépôt open source à 528 étoiles sur GitHub. Carte Alpha de RepoMasters. TLA+ specification for the Raft consensus algorithm Langage : TLA.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [ongardie](https://repo.masters-masters.com/owners/ongardie) |
| Étoiles | 528 |
| Forks | 98 |
| Langage | [TLA](https://repo.masters-masters.com/languages/tla) |
| Licence | Aucune |
| Création | 2014 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [ongardie/raft.tla](https://github.com/ongardie/raft.tla) |

## Fiche du dépôt

TLA+ specification for the Raft consensus algorithm

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de ongardie

- [ongardie/dissertation · ★ 1 095 · TeX · Bêta](https://repo.masters-masters.com/repos/ongardie/dissertation)
- [ongardie/raftscope · ★ 730 · JavaScript · Bêta](https://repo.masters-masters.com/repos/ongardie/raftscope)

## D’autres dépôts TLA

- [tlaplus/Examples · ★ 1 598 · TLA · Bêta](https://repo.masters-masters.com/repos/tlaplus/Examples)
- [spacejam/tla-rust · ★ 1 074 · TLA · Bêta](https://repo.masters-masters.com/repos/spacejam/tla-rust)
- [tlaplus/DrTLAPlus · ★ 860 · TLA · Bêta](https://repo.masters-masters.com/repos/tlaplus/DrTLAPlus)
- [lemmy/BlockingQueue · ★ 507 · TLA · Alpha](https://repo.masters-masters.com/repos/lemmy/BlockingQueue)
- [tlaplus/CommunityModules · ★ 318 · TLA · Alpha](https://repo.masters-masters.com/repos/tlaplus/CommunityModules)
- [pingcap/tla-plus · ★ 314 · TLA · Alpha](https://repo.masters-masters.com/repos/pingcap/tla-plus)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.