43
72
114
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 |
---|---|
76 | spidr |
18 | tyttp |
21 | idris-data-frame |
196 | idris2-tutorial |
2,520 | Idris2 |
19 | idris2-dom-mvc |
2 | irpn |
104 | idris2-pack |
24 | IdrisExtSTGCodegen |
469 | idris-jvm |
15 | responsible |
16 | idris2-json |
10 | melocule |
20 | harmony |
8 | pacman |
0 | DependentTypeEval |
2 | Advent-Of-Code-2022 |
0 | Advent-Of-Code-2022 |
13 | idris-elm |
106 | SPLV20 |
Latest Discoveries
Latest discovered Idris repos
Stars | Project |
---|---|
18 | tyttp |
21 | idris-data-frame |
19 | idris2-dom-mvc |
2 | irpn |
16 | idris2-json |
10 | melocule |
20 | harmony |
8 | pacman |
0 | DependentTypeEval |
2 | Advent-Of-Code-2022 |
0 | Advent-Of-Code-2022 |
13 | idris-elm |
106 | SPLV20 |
15 | Idris |
0 | IdrisPlayground |
196 | idris2-tutorial |
14 | Idris-json |
104 | idris2-pack |
3 | IdrisCompiler |
257 | idris-ct |
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