gravatar for idris-lang

idris-lang idris-lang on Github

global

Languages

4 total

LanguageReposStarsGlobal
all56,0578,708
Haskell23,47531
Idris12,4831
TeX1951,206
CSS1476,358

Repos

5 total

RepoLanguageStarsRank
idris-lang/Idris-dev on GithubIdris-devHaskell3,42418
idris-lang/Idris2 on GithubIdris2Idris2,4831
idris-lang/idris-tutorial on Githubidris-tutorialTeX951,163
idris-lang/idris-emptycg on Githubidris-emptycgHaskell511,844
idris-lang/idris-lang.github.io on Githubidris-lang.github.ioCSS459,327

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-09-06T07:16:40.615582418Z Re-sync