43
71
113
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 39 | 2,425 | A purely functional programming language with first class types | |
| 11 | 465 | JVM bytecode back end for Idris | |
| 1 | 448 | Software Foundations in Idris | |
| 1 | 250 | formally verified category theory library | |
| 2 | 176 | ||
| 1 | 158 | Language Server for Idris2 | |
| 2 | 130 | Idris version of Domain Modeling Made Functional Book. | |
| 1 | 104 | SPLV20 course notes | |
| 2 | 87 | ||
| 4 | 65 | Accelerated machine learning with dependent types | |
| 1 | 58 | Inigo: A Package Manager for Idris2 | |
| 1 | 56 | A purely functional programming language with first class types | |
| 1 | 45 | Javascript DOM bindings for Idris2 | |
| 1 | 35 | ||
| 2 | 28 | A portable idris2 implementation of TLS | |
| 6 | 23 | ||
| 1 | 20 | Data frames for Idris 2 | |
| 1 | 19 | Harmonize with coworkers around GitHub reviewing. | |
| 1 | 16 | ||
| 1 | 16 | Single Page Web Applications in Idris |
Popular Idris Topics
Latest Mentions
Latest mentioned Idris repos
| Stars | Project |
|---|---|
| 16 | tyttp |
| 20 | idris-data-frame |
| 176 | idris2-tutorial |
| 2,425 | Idris2 |
| 65 | spidr |
| 16 | idris2-dom-mvc |
| 2 | irpn |
| 23 | IdrisExtSTGCodegen |
| 87 | idris2-pack |
| 465 | idris-jvm |
| 15 | responsible |
| 15 | idris2-json |
| 10 | melocule |
| 19 | harmony |
| 7 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
| 104 | SPLV20 |
Latest Discoveries
Latest discovered Idris repos
| Stars | Project |
|---|---|
| 16 | tyttp |
| 20 | idris-data-frame |
| 16 | idris2-dom-mvc |
| 2 | irpn |
| 15 | idris2-json |
| 10 | melocule |
| 19 | harmony |
| 7 | pacman |
| 0 | DependentTypeEval |
| 2 | Advent-Of-Code-2022 |
| 0 | Advent-Of-Code-2022 |
| 13 | idris-elm |
| 104 | SPLV20 |
| 14 | Idris |
| 0 | IdrisPlayground |
| 176 | idris2-tutorial |
| 12 | Idris-json |
| 87 | idris2-pack |
| 3 | IdrisCompiler |
| 250 | idris-ct |
Recently updated posts
-
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
-
Accelerated machine learning with dependent types