gravatar for lemmy

lemmy lemmy on Github

global / united states / redmond

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all3862474,15211,19666
TLA7530311
Java154236,6053,47520
Dafny242311
unknown107202,91322,261144
Shell13115,23515,83568
HTML20---
TeX10---

Repos

38 total

RepoLanguageStarsRank
lemmy/BlockingQueue on GithubBlockingQueueTLA4854
lemmy/lets-prove-blocking-queue on Githublets-prove-blocking-queueDafny424
lemmy/ewd998 on Githubewd998TLA4126
lemmy/kraken-gateway on Githubkraken-gatewayJava14103,840
lemmy/skype4java on Githubskype4javaJava11124,654
lemmy/sensors2mqtt on Githubsensors2mqttJava6201,291
lemmy/myWorkspaceMechanics on GithubmyWorkspaceMechanicsunknown5309,826
lemmy/SecuredSLP on GithubSecuredSLPJava3393,862
lemmy/zarafa2asterisk on Githubzarafa2asteriskJava3392,838
lemmy/tlc-perf on Githubtlc-perfShell3155,443

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-10-27T15:04:33.667938872Z Re-sync