4
6
6
Mentions | Stars | Project | Description | |
---|---|---|---|---|
We couldn't find any libraries for the selected period |
Popular Idris Topics
Latest Mentions
Latest mentioned Idris repos
Stars | Project |
---|---|
18 | idris2-lsp |
5 | idris2-scientific |
1,038 | idris2 |
10 | Idris2-boot |
Latest Discoveries
Latest discovered Idris repos
Stars | Project |
---|---|
18 | idris2-lsp |
5 | idris2-scientific |
1,038 | idris2 |
10 | Idris2-boot |