gravatar for tlaplus

tlaplus tlaplus on Github

global

Languages

9 total

LanguageReposStarsGlobal
all195,00610,180
TLA42,2461
Java22,1951,590
TypeScript13277,016
Python110946,931
OCaml253557
unknown54742,371
TeX1204,081
HTML2970,301
CSS10-

Repos

19 total

RepoLanguageStarsRank
tlaplus/tlaplus on GithubtlaplusJava2,1951,528
tlaplus/Examples on GithubExamplesTLA1,2151
tlaplus/DrTLAPlus on GithubDrTLAPlusTLA7773
tlaplus/vscode-tlaplus on Githubvscode-tlaplusTypeScript3277,878
tlaplus/CommunityModules on GithubCommunityModulesTLA2519
tlaplus/PlusPy on GithubPlusPyPython10954,989
tlaplus/tlapm on GithubtlapmOCaml53680
tlaplus/foundation on Githubfoundationunknown2573,617
tlaplus/PlusCalCheatSheet on GithubPlusCalCheatSheetTeX204,109
tlaplus/rfcs on Githubrfcsunknown13120,434

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-04-11T09:56:18.248045343Z Re-sync