gravatar for Starydark

Starydark Starydark on Github

global / china / nanjing

Languages

4 total

LanguageReposStarsGlobalCountryLocality
all734568,24743,769886
TLA4332222
TeX1133,8551,82669
JavaScript10---
Java10---

Repos

7 total

RepoLanguageStarsRank
Starydark/PaxosStore-tla on GithubPaxosStore-tlaTLA2139
Starydark/Tencent-Paxos-TLA on GithubTencent-Paxos-TLATLA698
Starydark/paxosstore-tlaps on Githubpaxosstore-tlapsTLA5102
Starydark/Paxos-Refinement on GithubPaxos-RefinementTLA1274
Starydark/TPaxosExperiment on GithubTPaxosExperimentTeX147,857
Starydark/Todo on GithubTodoJavaScript0-
Starydark/DMPratice on GithubDMPraticeJava0-

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-05-04T00:34:24.024948837Z Re-sync