Repos by UlfNorell

UlfNorell / repos

21 repos

	Repo	Language	Stars	Rank
	agda-prelude	Agda	118	20
	insane	Haskell	79	1,262
	agda-summer-school	Agda	66	34
	x86-agda	Agda	65	35
	agda-bench	Haskell	18	4,297
	quasi-quote	Agda	16	164
	category-theory-experiments	Agda	8	313
	curves	Haskell	5	11,984
	effects	Agda	5	456
	aim23-talk	Agda	4	570