idris-lang - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

idris-lang

Star

6674

Rank

2672

Fetched on 2026/08/15 21:04

5 Repositories

Idris-dev 3479 Idris2 3039 idris-tutorial 97 idris-emptycg 52 idris-lang.github.io 7

Released by @k0kubun in December 2014. Fork me on GitHub.