Repos by wenkokke

wenkokke / repos

109 repos

	Repo	Language	Stars	Rank
	schmitty	Agda	95	22
	sesh	Makefile	46	1,393
	AutoInAgda	Agda	44	65
	featherweight-generic-go-generator	Haskell	34	2,621
	idris-sesh	Idris	27	87
	setup-agda	TypeScript	26	55,580
	priority-sesh	Haskell	25	3,370
	msla2014	Agda	24	117
	starchild	F*	16	17
	talondoc	Python	14	291,959