gravatar for lurk-lab

lurk-lab lurk-lab on Github

global

Languages

14 total

LanguageReposStarsGlobal
all741,98425,512
Rust251,2741,014
unknown726011,716
Lean232589
Common Lisp165389
Solidity153800
C23128,314
Nix426665
JavaScript45385,541
Haskell256,176
Shell12151,113
Futhark1225
TypeScript12240,863
HTML11890,094
Emacs Lisp10-

Repos

74 total

RepoLanguageStarsRank
lurk-lab/yatima-lang-alpha on Githubyatima-lang-alphaRust4482,417
lurk-lab/lurk-rs on Githublurk-rsRust3962,667
lurk-lab/neptune on GithubneptuneRust2503,864
lurk-lab/awesome-folding on Githubawesome-foldingunknown23913,298
lurk-lab/yatima on GithubyatimaLean9130
lurk-lab/lurk-lisp on Githublurk-lispCommon Lisp65376
lurk-lab/bellpepper on GithubbellpepperRust6310,452
lurk-lab/solidity-verifier on Githubsolidity-verifierSolidity53944
lurk-lab/arecibo on GithubareciboRust5211,908
lurk-lab/LSpec on GithubLSpecLean3099

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-23T10:51:23.383190106Z Re-sync