Idris LibHunt

Discover popular and related Idris open-source projects
4
6
6
Our great sponsor
  • Scout - Get performance insights in less than 4 minutes
Our great sponsor
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