Repos by scott-fleischman

scott-fleischman / repos

64 repos

	Repo	Language	Stars	Rank
	agda-from-nothing	Agda	82	26
	greek-grammar	Agda	47	58
	agda-from-nothing-2017	Agda	13	203
	agda-travis	Agda	7	351
	ucd	HTML	4	147,973
	redprl-notes	unknown	4	330,973
	sblgnt-osis	unknown	3	449,519
	agda-in-10-minutes	Agda	3	623
	agda-digit	Agda	2	809
	agda-tutorial-exercises	Agda	2	790