gravatar for idris-hackers

idris-hackers idris-hackers on Github

global

Languages

12 total

LanguageReposStarsGlobal
all282,14923,618
Idris121,1933
Emacs Lisp1259449
Vim Script1221626
Haskell3159696
TeX3139806
TypeScript19915,870
Nix128628
Python127126,842
C11156,594
Java110103,514
unknown23429,294
JavaScript10-

Repos

28 total

RepoLanguageStarsRank
idris-hackers/software-foundations on Githubsoftware-foundationsIdris4465
idris-hackers/idris-mode on Githubidris-modeEmacs Lisp259503
idris-hackers/idris-vim on Githubidris-vimVim Script221778
idris-hackers/idris-demos on Githubidris-demosIdris19111
idris-hackers/idris-koans on Githubidris-koansIdris17612
idris-hackers/idris-crypto on Githubidris-cryptoIdris12121
idris-hackers/IdrisWeb on GithubIdrisWebTeX109974
idris-hackers/atom-language-idris on Githubatom-language-idrisTypeScript9919,403
idris-hackers/IdrisScript on GithubIdrisScriptIdris8926
idris-hackers/idris-llvm on Githubidris-llvmHaskell781,270

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-18T13:15:25.449998094Z Re-sync