44
72
115
|
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 |
|---|---|
| 3 | qtt |
| 95 | spidr |
| 21 | tyttp |
| 21 | idris-data-frame |
| 220 | idris2-tutorial |
| 2,656 | Idris2 |
| 25 | idris2-dom-mvc |
| 2 | irpn |
| 119 | idris2-pack |
| 25 | IdrisExtSTGCodegen |
| 473 | idris-jvm |
| 15 | responsible |
| 17 | idris2-json |
| 15 | melocule |
| 20 | harmony |
| 8 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
Latest Discoveries
Latest discovered Idris repos
| Stars | Project |
|---|---|
| 3 | qtt |
| 21 | tyttp |
| 21 | idris-data-frame |
| 25 | idris2-dom-mvc |
| 2 | irpn |
| 17 | idris2-json |
| 15 | melocule |
| 20 | harmony |
| 8 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
| 108 | SPLV20 |
| 15 | Idris |
| 0 | IdrisPlayground |
| 220 | idris2-tutorial |
| 14 | Idris-json |
| 119 | idris2-pack |
| 3 | IdrisCompiler |
Recently updated posts
-
Well-typed, accelerated ML
-
A type safe Idris2 web framework targeting NodeJS
-
Data Frames for Idris 2
-
Functional Programming in Idris 2
-
Idris2: A purely functional programming language with first class types