7
10
11
Our greats ponsors
| 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 |