34
48
79
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 4 | 0 | AoC Solutions | |
| 3 | 1,913 | A purely functional programming language with first class types | |
| 1 | 0 | My attempts to learn Idris 2 |
Popular Idris Topics
Latest Mentions
Latest mentioned Idris repos
| Stars | Project |
|---|---|
| 0 | Advent-Of-Code-2022 |
| 1,913 | Idris2 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
| 14 | Idris |
| 90 | SPLV20 |
| 111 | idris2-tutorial |
| 0 | IdrisPlayground |
| 11 | Idris-json |
| 3 | IdrisCompiler |
| 40 | idris2-pack |
| 377 | idris-jvm |
| 232 | idris-ct |
| 7 | idris-sandbox |
| 40 | idris2-dom |
| 37 | spidr |
| 25 | idris2-tls |
| 0 | aoc2021 |
| 0 | algebra |
| 0 | AoC2021 |
Latest Discoveries
Latest discovered Idris repos
| Stars | Project |
|---|---|
| 0 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
| 90 | SPLV20 |
| 14 | Idris |
| 0 | IdrisPlayground |
| 111 | idris2-tutorial |
| 11 | Idris-json |
| 40 | idris2-pack |
| 3 | IdrisCompiler |
| 232 | idris-ct |
| 7 | idris-sandbox |
| 40 | idris2-dom |
| 0 | aoc2021 |
| 25 | idris2-tls |
| 0 | algebra |
| 0 | AoC2021 |
| 2 | AoC2021 |
| 56 | inigo |
| 0 | rado |
Recently updated posts
- Managing world state for a imperative language with pure functions
- implied args within passed around functions question
- Idris 2: a purely functional programming language with first class types
- Idris 2 v0.6.0 release
- The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time