29 Repositories
software-foundations
459
idris-mode
276
idris-vim
222
idris-demos
195
idris-koans
182
idris-crypto
122
IdrisWeb
110
atom-language-idris
101
IdrisScript
94
idris-llvm
81
idris-java
72
iQuery
40
idris-posix
36
idrispkgs
28
idris-sublime
27
idris-free
26
eff-tutorial
24
idris-cph-exercises
23
idris-lens
22
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