Repos by UlfNorell

UlfNorell / repos

21 repos

	Repo	Language	Stars	Rank
	agda-prelude	Agda	118	20
	insane	Haskell	72	1,365
	agda-summer-school	Agda	66	35
	x86-agda	Agda	65	36
	agda-bench	Haskell	18	4,279
	quasi-quote	Agda	16	165
	category-theory-experiments	Agda	8	311
	curves	Haskell	5	11,920
	effects	Agda	5	454
	aim23-talk	Agda	4	569