spacejam/
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
by Tyler Neely TLA 25 forks Created Mar 2017 View on GitHub
- Stars
- 1,074
- 9% of spacejam's stars
- Rank
- #62,312
- of 847,120 repos, top 8%
Among 847,120 repos
1k–1.6k stars: 23,533 repos, including tla-rust
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #62,258
- Next milestone
- +6,158 stars to reach the top 1%
- Popular
- One of 66,327 repos with 1k+ stars
- Yearly average
- 111 stars a year since Mar 2017