Repos by stefan-hoeck

stefan-hoeck / repos

68 repos

	Repo	Language	Stars	Rank
	idris2-tutorial	Idris	177	12
	idris2-pack	Idris	87	27
	idris2-elab-util	Idris	74	30
	idris2-dom	Idris	45	48
	idris2-sop	Idris	33	68
	dire	Scala	31	4,148
	idris2-hedgehog	Idris	29	78
	idris2-rhone-js	Idris	21	113
	chemf	Scala	16	6,685
	idris2-dom-mvc	Idris	16	138