gravatar for lemmy

lemmy lemmy on Github

global / united states / redmond

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all3861166,95510,18163
TLA7519311
Java154134,7033,28021
Dafny241311
unknown107177,99120,157135
Shell13105,05514,66160
HTML20---
TeX10---

Repos

38 total

RepoLanguageStarsRank
lemmy/BlockingQueue on GithubBlockingQueueTLA4754
lemmy/lets-prove-blocking-queue on Githublets-prove-blocking-queueDafny413
lemmy/ewd998 on Githubewd998TLA4022
lemmy/kraken-gateway on Githubkraken-gatewayJava1495,173
lemmy/skype4java on Githubskype4javaJava11114,261
lemmy/myWorkspaceMechanics on GithubmyWorkspaceMechanicsunknown5262,938
lemmy/sensors2mqtt on Githubsensors2mqttJava5216,005
lemmy/SecuredSLP on GithubSecuredSLPJava3362,465
lemmy/zarafa2asterisk on Githubzarafa2asteriskJava3361,457
lemmy/tlc-perf on Githubtlc-perfShell3139,881

Badges

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

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-03-16T09:37:32.021950212Z Re-sync