46
76
120
|
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 |
|---|---|
| 2,967 | Idris2 |
| 7 | idris2-algebra |
| 41 | TensorType |
| 3 | qtt |
| 97 | spidr |
| 23 | tyttp |
| 23 | idris-data-frame |
| 238 | idris2-tutorial |
| 27 | idris2-dom-mvc |
| 2 | irpn |
| 151 | idris2-pack |
| 26 | IdrisExtSTGCodegen |
| 481 | idris-jvm |
| 15 | responsible |
| 19 | idris2-json |
| 16 | melocule |
| 24 | harmony |
| 8 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
Latest Discoveries
Latest discovered Idris repos
| Stars | Project |
|---|---|
| 7 | idris2-algebra |
| 41 | TensorType |
| 3 | qtt |
| 23 | tyttp |
| 23 | idris-data-frame |
| 27 | idris2-dom-mvc |
| 2 | irpn |
| 19 | idris2-json |
| 16 | melocule |
| 24 | harmony |
| 8 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 14 | idris-elm |
| 116 | SPLV20 |
| 16 | Idris |
| 1 | IdrisPlayground |
| 238 | idris2-tutorial |
| 15 | Idris-json |
Recently updated posts
-
Functions Are Asymmetric
-
Categorical Foundations for Cute Layouts
-
Structuring Arrays with Algebraic Shapes [video]
-
De Bruijn notation, and why it's useful
-
Well-typed, accelerated ML