spacejam/tla-rust resource
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ observed · 2026-08-28
Health v2 · maintenance only
32/100
- Activity 0
- Release rhythm 35
- Longevity 100
Flags: no_releases no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3471
- days_rel: n/a
- days_push: 3389
- n_releases_24m: 0
Adoption not part of the score
1068 stars · 26 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
A tutorial-style repository and work-in-progress project for writing correct lock-free and distributed stateful systems in Rust, verified with TLA+ model checking and simulated network failures. It documents modeling with TLA+/PlusCal and testing with quickcheck, intended to underpin projects like rsdb and rasputin.
Use cases
- learn TLA+ for verifying distributed algorithms
- model-check lock-free data structures in Rust
- simulate network partitions in tests
- verify consensus protocol correctness
- learn formal methods for systems programming
When to choose
- learning TLA+ and PlusCal for concurrent and distributed algorithm verification
- studying how to combine Rust with formal model checking and simulation testing
When to avoid
- you need a production-ready library or tool - this is largely an unfinished tutorial
- you need maintained code - the last release was 2017 and many sections are incomplete
Facets
learning-resource · maturity abandoned
testing fuzzing concurrency simulation microservices developer-tools tutorials rust windows tla-plus model-checking lock-free quickcheck formal-verification distributed-systems algorithms linux macos
1 source
- readme: https://github.com/spacejam/tla-rust · fetched 2026-08-28 · 3afceb63b681
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| spacejam/tla-rust | main | 32 |
For agents
markdown · JSON · MCP: product_card(name="spacejam/tla-rust")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem