29 Repositories
software-foundations
455
idris-mode
269
idris-vim
221
idris-demos
190
idris-koans
177
idris-crypto
121
IdrisWeb
110
atom-language-idris
101
IdrisScript
92
idris-llvm
78
idris-java
71
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
18
usb
11
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