39 Repositories
Idris2-boot
904
Blodwen
539
idris-php
171
TypeDD-Samples
162
SPLV20
105
Yaffle
86
Protocols
82
idris2-vim
75
EpiVM
65
Idris2
56
SDL-idris
46
States
36
WS-idr
33
Ivor
25
IdrisApp
22
Idris-old
19
idris2-clibs
15
idris-lang.org
15
tactics-tutorial
13
Eff-new
13
Eff
13
Vars
12
SchemeEval
12
ConcIO
9
Idris-dev
6
ResIO
5
sodium-idris
4
oplss-notes-2017
3
idr-IP
3
ConcProc
3
Idris2-pkg-outline
2
Eff-dev
2
Resources
1
IdrisWeb
1
binary
1
atom-language-idris
1
statement-on-lambdaconf.github.io
0
RingIdris
0
idris-vim
0