gravatar for lemmy

lemmy lemmy on Github

global / united states / redmond

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all3860458,9149,01453
TLA7514211
Java154031,9032,97015
Dafny240211
unknown107158,32118,026125
Shell1394,46113,20052
HTML20---
TeX10---

Repos

38 total

RepoLanguageStarsRank
lemmy/BlockingQueue on GithubBlockingQueueTLA4703
lemmy/lets-prove-blocking-queue on Githublets-prove-blocking-queueDafny403
lemmy/ewd998 on Githubewd998TLA4017
lemmy/kraken-gateway on Githubkraken-gatewayJava1485,877
lemmy/skype4java on Githubskype4javaJava11103,013
lemmy/myWorkspaceMechanics on GithubmyWorkspaceMechanicsunknown5229,944
lemmy/sensors2mqtt on Githubsensors2mqttJava5194,839
lemmy/SecuredSLP on GithubSecuredSLPJava3327,568
lemmy/zarafa2asterisk on Githubzarafa2asteriskJava3326,615
lemmy/tlc-perf on Githubtlc-perfShell3124,255

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: 2023-12-02T08:02:08.173048160Z Re-sync