Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
idris-lang
Star
6215
Rank
2411
Go to GitHub
Fetched on 2025/03/15 10:50
5 Repositories
Idris-dev
3447
Idris2
2617
idris-tutorial
95
idris-emptycg
51
idris-lang.github.io
5
