Idris LibHunt

Discover popular and related Idris open-source projects

7
10
11
Our greats ponsors
  • Scout APM - Leading-edge performance monitoring starting at $39/month
  • SaaSHub - Software Alternatives and Reviews
Mentions Stars Project Description
1 0 Total Idris 2 libsixel bindings

Popular Idris Topics

Latest Mentions

Latest mentioned Idris repos
Stars Project
0 id-sixel
10 IdrisExtSTGCodegen
384 software-foundations
8 responsible
52 idris2-lsp
5 idris2-scientific
11 Idris2-boot

Latest Discoveries

Latest discovered Idris repos
Stars Project
0 id-sixel
384 software-foundations
8 responsible
52 idris2-lsp
5 idris2-scientific
10 IdrisExtSTGCodegen
11 Idris2-boot