gravatar for tlaplus

tlaplus tlaplus on Github

global

Languages

9 total

LanguageReposStarsGlobal
all185,29210,360
TLA42,3751
Java22,3101,562
TypeScript13537,560
Python111350,456
OCaml267488
HTML33223,673
unknown32282,351
TeX1204,400
CSS10-

Repos

18 total

RepoLanguageStarsRank
tlaplus/tlaplus on GithubtlaplusJava2,3101,488
tlaplus/Examples on GithubExamplesTLA1,2861
tlaplus/DrTLAPlus on GithubDrTLAPlusTLA8153
tlaplus/vscode-tlaplus on Githubvscode-tlaplusTypeScript3538,505
tlaplus/CommunityModules on GithubCommunityModulesTLA2699
tlaplus/PlusPy on GithubPlusPyPython11359,157
tlaplus/tlapm on GithubtlapmOCaml67558
tlaplus/foundation on GithubfoundationHTML2330,758
tlaplus/PlusCalCheatSheet on GithubPlusCalCheatSheetTeX204,441
tlaplus/rfcs on Githubrfcsunknown13136,537

Badges

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

Global

Global

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

Preview

Last updated: 2024-10-31T13:43:15.649389058Z Re-sync