Repos by ziman

ziman / repos

64 repos

	Repo	Language	Stars	Rank
	lightyear	Idris	238	9
	idris-py	Haskell	124	828
	rarcrack	C	102	14,205
	pmtu	Python	37	132,162
	itt-idris	Idris	23	103
	idris-ocaml	Haskell	22	3,795
	idris-data-frame	Idris	20	116
	bibdris	Idris	18	130
	ttstar	Idris	18	127
	itt	Haskell	15	4,920