spacejam / tla-rust

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

spacejam
spacejam
Date Created 2017-03-02 (8 years ago)
Commits 33 (last one 7 years ago)
Stargazers 1,055 (0 this week)
Watchers 43 (0 this week)
Forks 27
License unknown
Ranking

RepositoryStats indexes 632,768 repositories, of these spacejam/tla-rust is ranked #50,645 (92nd percentile) for total stargazers, and #49,017 for total watchers. Github reports the primary language for this repository as TLA, for repositories using this language it is ranked #2/20.

spacejam/tla-rust is also tagged with popular topics, for these it's ranked: rust (#1,031/7755),  distributed (#98/392)

Other Information

spacejam/tla-rust has Github issues enabled, there is 1 open issue and 2 closed issues.

Star History

Github stargazers over time

1.2k1.2k1k1k800800600600400400200200002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

464645.545.5454544.544.5444443.543.54343Mar '23Mar '23May '23May '23Jul '23Jul '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

0 commits on the default branch (master) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

353530302525202015151010550020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
332.52.5221.51.5110.50.5002018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is TLA but there's also others...

TLATLAMakefileMakefile

updated: 2025-03-21 @ 05:47am, id: 83734111 / R_kgDOBP2uXw