41
69
111
Our great sponsors
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 |
---|---|
167 | idris2-tutorial |
2,370 | Idris2 |
59 | spidr |
16 | idris2-dom-mvc |
2 | irpn |
83 | idris2-pack |
24 | IdrisExtSTGCodegen |
463 | idris-jvm |
15 | responsible |
13 | idris2-json |
10 | melocule |
19 | harmony |
7 | pacman |
0 | DependentTypeEval |
2 | Advent-Of-Code-2022 |
0 | Advent-Of-Code-2022 |
13 | idris-elm |
14 | Idris |
102 | SPLV20 |
0 | IdrisPlayground |
Latest Discoveries
Latest discovered Idris repos
Stars | Project |
---|---|
16 | idris2-dom-mvc |
2 | irpn |
13 | idris2-json |
10 | melocule |
19 | harmony |
7 | pacman |
0 | DependentTypeEval |
2 | Advent-Of-Code-2022 |
0 | Advent-Of-Code-2022 |
13 | idris-elm |
102 | SPLV20 |
14 | Idris |
0 | IdrisPlayground |
167 | idris2-tutorial |
12 | Idris-json |
83 | idris2-pack |
3 | IdrisCompiler |
250 | idris-ct |
7 | idris-sandbox |
44 | idris2-dom |