# tlaplus/Examples

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

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

tlaplus/Examples has 1,596 stars on GitHub. Its RepoMasters card: Beta tier. A collection of TLA⁺ specifications of varying complexities. Language: TLA.

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

## Repository

A collection of TLA⁺ specifications of varying complexities.

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

## More repos by tlaplus

- [tlaplus/tlaplus · ★ 3,169 · Java · RC](https://repo.masters-masters.com/en/repos/tlaplus/tlaplus)
- [tlaplus/DrTLAPlus · ★ 860 · TLA · Beta](https://repo.masters-masters.com/en/repos/tlaplus/DrTLAPlus)
- [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

- [spacejam/tla-rust · ★ 1,074 · TLA · Beta](https://repo.masters-masters.com/en/repos/spacejam/tla-rust)
- [tlaplus/DrTLAPlus · ★ 860 · TLA · Beta](https://repo.masters-masters.com/en/repos/tlaplus/DrTLAPlus)
- [ongardie/raft.tla · ★ 528 · TLA · Alpha](https://repo.masters-masters.com/en/repos/ongardie/raft.tla)

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