Repos by edwinb

edwinb / repos

27 repos

	Repo	Language	Stars	Rank
	Idris2-boot	Idris	905	2
	Blodwen	Idris	540	3
	idris-php	Haskell	170	588
	TypeDD-Samples	Idris	161	15
	SPLV20	Idris	103	23
	Yaffle	Idris	86	27
	Protocols	TeX	82	1,276
	idris2-vim	Vim Script	73	1,617
	SDL-idris	Idris	46	46
	States	Idris	36	62