41
68
110
Our great sponsors
- Onboard AI - Learn any GitHub repo in 59 seconds
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- SaaSHub - Software Alternatives and Reviews
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 1 | 2,263 | A purely functional programming language with first class types |
Popular Idris Topics
Latest Mentions
Latest mentioned Idris repos
| Stars | Project |
|---|---|
| 2,263 | Idris2 |
| 54 | spidr |
| 16 | idris2-dom-mvc |
| 2 | irpn |
| 76 | idris2-pack |
| 24 | IdrisExtSTGCodegen |
| 455 | idris-jvm |
| 15 | responsible |
| 13 | idris2-json |
| 10 | melocule |
| 17 | harmony |
| 7 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
| 100 | SPLV20 |
| 14 | Idris |
| 150 | idris2-tutorial |
| 0 | IdrisPlayground |
Latest Discoveries
Latest discovered Idris repos
| Stars | Project |
|---|---|
| 16 | idris2-dom-mvc |
| 2 | irpn |
| 13 | idris2-json |
| 10 | melocule |
| 17 | harmony |
| 7 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
| 100 | SPLV20 |
| 14 | Idris |
| 0 | IdrisPlayground |
| 150 | idris2-tutorial |
| 12 | Idris-json |
| 76 | idris2-pack |
| 3 | IdrisCompiler |
| 250 | idris-ct |
| 7 | idris-sandbox |
| 44 | idris2-dom |