Discover trending Idris
open-source projects

34
48
79
Our great sponsors
  • SonarLint - Clean code begins in your IDE with SonarLint
  • Scout APM - Truly a developer’s best friend
  • Zigi - The context switching struggle is real
  • InfluxDB - Build time-series-based applications quickly and at scale.
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