GitHub
Treemap
Projects
Daily
Awesome
GitHub
All Languages
›
Idris
Stars
30d Growth
Forks
1 Idris repos
Click repo to open GitHub