Repos by ziman

ziman / repos

64 repos

	Repo	Language	Stars	Rank
	text	Idris	13	183
	idris-benchmarks	Idris	11	197
	idris-bytes	Idris	11	195
	idris2-mlf	Idris	11	192
	keychain-bruteforce	Python	8	414,043
	idris-scheme	Haskell	6	9,864
	meshub	Python	5	577,186
	deconvolution	MATLAB	4	30,910
	scan-eSCL	Python	4	673,445
	simple-prolog	Haskell	3	18,648