Repos by plclub

plclub / repos

8 repos

	Repo	Language	Stars	Rank
	hs-to-coq	Coq	74	76
	metalib	Coq	69	80
	cis670-16fa	Coq	41	139
	lngen	Haskell	29	2,937
	cis6700-23sp	Agda	14	185
	plclub-web	HTML	6	90,337
	cbpv-in-agda	Agda	2	661
	plclub-web-old	PHP	0	-