Vanlightly / vsr-tlaplus

TLA+ specifications related to Viewstamped Replication

Date Created 2022-11-25 (2 years ago)
Commits 20 (last one 2 years ago)
Stargazers 32 (0 this week)
Watchers 3 (0 this week)
Forks 0
License mit
Ranking

RepositoryStats indexes 618,350 repositories, of these Vanlightly/vsr-tlaplus is ranked #578,672 (6th percentile) for total stargazers, and #434,053 for total watchers. Github reports the primary language for this repository as TLA, for repositories using this language it is ranked #21/21.

Other Information

Vanlightly/vsr-tlaplus has Github issues enabled, there is 1 open issue and 0 closed issues.

Star History

Github stargazers over time

353530302525202015151010550020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

44443333332222Jan '25Jan '2508 Jan08 Jan16 Jan16 Jan24 Jan24 JanFeb '25Feb '2508 Feb08 Feb16 Feb16 Feb

Recent Commit History

20 commits on the default branch (main) since jan '22

202018181616141412121010886644220020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

1010998877665544332211002022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
1111110.50.500000020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The only known language in this repository is TLA

TLATLA

updated: 2025-01-26 @ 06:03pm, id: 570625224 / R_kgDOIgMMyA