Repos by UlfNorell

UlfNorell / repos

21 repos

	Repo	Language	Stars	Rank
	agda-cufp	Agda	3	647
	agda-logo	unknown	2	779,055
	agda-tactics	Agda	2	800
	version	Haskell	2	21,360
	agda-nofib	Agda	1	1,120
	agda-readline	Agda	1	1,008
	agda-criterion	Agda	0	-
	agda-test	unknown	0	-
	statem-laws	Haskell	0	-
	github-action-playground	unknown	0	-