# spacejam/tla-rust

<https://repo.masters-masters.com/en/repos/spacejam/tla-rust>

[Home](https://repo.masters-masters.com/en) › [spacejam](https://repo.masters-masters.com/en/owners/spacejam) › [tla-rust](https://repo.masters-masters.com/en/repos/spacejam/tla-rust)

spacejam/tla-rust has 1,074 stars on GitHub. Its RepoMasters card: Beta tier. writing correct lock-free and distributed stateful systems in Rust, assisted by…

| Field | Value |
| --- | --- |
| Owner | [spacejam](https://repo.masters-masters.com/en/owners/spacejam) |
| Stars | 1,074 |
| Forks | 25 |
| Language | [TLA](https://repo.masters-masters.com/en/languages/tla) |
| License | None |
| Created | 2017 |
| Topics | tla, rust, model-checking, lock-free, distributed |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [spacejam/tla-rust](https://github.com/spacejam/tla-rust) |

## Repository

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

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

## More repos by spacejam

- [spacejam/sled · ★ 9,104 · Rust · Stable](https://repo.masters-masters.com/en/repos/spacejam/sled)
- [spacejam/rio · ★ 1,006 · Rust · Beta](https://repo.masters-masters.com/en/repos/spacejam/rio)
- [spacejam/extreme · ★ 165 · Rust · Prototype](https://repo.masters-masters.com/en/repos/spacejam/extreme)
- [spacejam/paxos · ★ 144 · Rust · Prototype](https://repo.masters-masters.com/en/repos/spacejam/paxos)

## Nearby in TLA

- [tlaplus/Examples · ★ 1,598 · TLA · Beta](https://repo.masters-masters.com/en/repos/tlaplus/Examples)
- [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)
- [lemmy/BlockingQueue · ★ 507 · TLA · Alpha](https://repo.masters-masters.com/en/repos/lemmy/BlockingQueue)

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