41
69
111
Our great sponsors
Mentions
@
|
Stars | Project | Description |
---|---|---|---|
39 | 2,390 | A purely functional programming language with first class types | |
11 | 464 | JVM bytecode back end for Idris | |
1 | 446 | Software Foundations in Idris | |
1 | 250 | formally verified category theory library | |
2 | 172 | ||
1 | 155 | Language Server for Idris2 | |
2 | 130 | Idris version of Domain Modeling Made Functional Book. | |
1 | 102 | SPLV20 course notes | |
2 | 85 | ||
4 | 60 | Accelerated machine learning with dependent types | |
1 | 58 | Inigo: A Package Manager for Idris2 | |
1 | 54 | A purely functional programming language with first class types | |
1 | 44 | Javascript DOM bindings for Idris2 | |
1 | 35 | ||
2 | 28 | A portable idris2 implementation of TLS | |
6 | 24 | ||
1 | 19 | Harmonize with coworkers around GitHub reviewing. | |
1 | 16 | Single Page Web Applications in Idris | |
2 | 15 | Idris 2 HTTP Api Server | |
1 | 15 | Automatically derivable JSON marshallers in the spirit of Haskell's aeson |
Popular Idris Topics
Latest Mentions
Latest mentioned Idris repos
Stars | Project |
---|---|
172 | idris2-tutorial |
2,390 | Idris2 |
60 | spidr |
16 | idris2-dom-mvc |
2 | irpn |
24 | IdrisExtSTGCodegen |
85 | idris2-pack |
464 | 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 |
102 | SPLV20 |
14 | Idris |
0 | IdrisPlayground |
Latest Discoveries
Latest discovered Idris repos
Stars | Project |
---|---|
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 |
102 | SPLV20 |
14 | Idris |
0 | IdrisPlayground |
172 | idris2-tutorial |
12 | Idris-json |
85 | idris2-pack |
3 | IdrisCompiler |
250 | idris-ct |
7 | idris-sandbox |
44 | idris2-dom |