pingcap / tla-plus

This repository has no description...

Date Created 2017-12-19 (7 years ago)
Commits 54 (last one 2 years ago)
Stargazers 294 (0 this week)
Watchers 110 (0 this week)
Forks 41
License apache-2.0
Ranking

RepositoryStats indexes 618,350 repositories, of these pingcap/tla-plus is ranked #139,898 (77th percentile) for total stargazers, and #15,952 for total watchers. Github reports the primary language for this repository as TLA, for repositories using this language it is ranked #6/21.

Other Information

pingcap/tla-plus has 7 open pull requests on Github, 28 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 4 open issues and 0 closed issues.

Star History

Github stargazers over time

30030025025020020015015010010050500020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

11711711611611511511411411311311211211111111011010910910810820232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

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

1111110.50.5000000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

30302525202015151010550020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
443.53.5332.52.5221.51.5110.50.500202020202021202120222022202320232024202420252025

Languages

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

TLATLACoqCoqMakefileMakefile

updated: 2025-02-08 @ 02:16am, id: 114755704 / R_kgDOBtcIeA