Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
idris-lang
Star
6502
Rank
2594
Go to GitHub
Fetched on 2026/03/01 21:06
5 Repositories
Idris-dev
3468
Idris2
2880
idris-tutorial
96
idris-emptycg
52
idris-lang.github.io
6