# tlaplus/DrTLAPlus

<https://repo.masters-masters.com/en/repos/tlaplus/DrTLAPlus>

[Home](https://repo.masters-masters.com/en) › [tlaplus](https://repo.masters-masters.com/en/owners/tlaplus) › [DrTLAPlus](https://repo.masters-masters.com/en/repos/tlaplus/DrTLAPlus)

tlaplus/DrTLAPlus has 860 stars on GitHub. Its RepoMasters card: Beta tier. Dr. TLA+ series - learn an algorithm and protocol, study a specification

| Field | Value |
| --- | --- |
| Owner | [tlaplus](https://repo.masters-masters.com/en/owners/tlaplus) |
| Stars | 860 |
| Forks | 100 |
| Language | [TLA](https://repo.masters-masters.com/en/languages/tla) |
| License | None |
| Created | 2016 |
| Topics | tlaplus, pluscal, protocol, algorithm |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [tlaplus/DrTLAPlus](https://github.com/tlaplus/DrTLAPlus) |

## Repository

Dr. TLA+ series - learn an algorithm and protocol, study a specification

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by tlaplus

- [tlaplus/tlaplus · ★ 3,177 · Java · RC](https://repo.masters-masters.com/en/repos/tlaplus/tlaplus)
- [tlaplus/Examples · ★ 1,598 · TLA · Beta](https://repo.masters-masters.com/en/repos/tlaplus/Examples)
- [tlaplus/vscode-tlaplus · ★ 441 · TypeScript · Alpha](https://repo.masters-masters.com/en/repos/tlaplus/vscode-tlaplus)
- [tlaplus/CommunityModules · ★ 318 · TLA · Alpha](https://repo.masters-masters.com/en/repos/tlaplus/CommunityModules)
- [tlaplus/tlapm · ★ 138 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/tlaplus/tlapm)
- [tlaplus/PlusPy · ★ 120 · Python · Prototype](https://repo.masters-masters.com/en/repos/tlaplus/PlusPy)

## Nearby in TLA

- [tlaplus/Examples · ★ 1,598 · TLA · Beta](https://repo.masters-masters.com/en/repos/tlaplus/Examples)
- [spacejam/tla-rust · ★ 1,074 · TLA · Beta](https://repo.masters-masters.com/en/repos/spacejam/tla-rust)
- [ongardie/raft.tla · ★ 528 · TLA · Alpha](https://repo.masters-masters.com/en/repos/ongardie/raft.tla)
- [lemmy/BlockingQueue · ★ 507 · TLA · Alpha](https://repo.masters-masters.com/en/repos/lemmy/BlockingQueue)
- [tlaplus/CommunityModules · ★ 318 · TLA · Alpha](https://repo.masters-masters.com/en/repos/tlaplus/CommunityModules)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.