29 Repositories
software-foundations
457
idris-mode
274
idris-vim
221
idris-demos
194
idris-koans
182
idris-crypto
123
IdrisWeb
109
atom-language-idris
102
IdrisScript
94
idris-llvm
82
idris-java
72
iQuery
40
idris-posix
36
idrispkgs
28
idris-sublime
27
idris-free
26
eff-tutorial
24
idris-lens
23
idris-cph-exercises
23
idris-algebra
19
usb
12
idris-java-rts
10
idris-bot
10
idris-extras
6
idris-array
6
idris-time
3
travis-build
1
idris-hackers.github.io
1
idris-challenges
1