GitHub intelligence
spacejam/
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Observed OCT 8, 2026 · 00:08 UTC
Facts
- Language
- TLA
- License
- None recorded
- Created
- MAR 2, 2017
- Last push
- Last release
- None recorded
- GitHub
- spacejam/tla-rust ↗
Measurements
- Stars
- 1,070
- Forks
- 26
- 7D change
- Collectingfrom OCT 9
- 30D change
- Collectingfrom NOV 1
- 90D change
- Collectingfrom DEC 31
- Velocity
- Collectingfrom OCT 16
- Acceleration
- Collectingfrom OCT 23
- Trajectory
- Collectingfrom OCT 16
- Trending percentile
- Collectingfrom OCT 16
Categories
Tentative categories were assigned with moderate confidence (0.5 to 0.75): they are shown, but they do not count toward a category’s momentum. How categories work
Technologies
Star history
Daily history began OCT 2. The chart appears after 7 days. 1 observed day shown.
Observed days (1)
| Day | Stars | Forks |
|---|---|---|
| OCT 2 | 1,070 | 26 |