Repos by UlfNorell

UlfNorell / repos

21 repos

	Repo	Language	Stars	Rank
	agda-prelude	Agda	119	20
	insane	Haskell	79	1,266
	agda-summer-school	Agda	66	34
	x86-agda	Agda	65	35
	agda-bench	Haskell	18	4,303
	quasi-quote	Agda	16	164
	category-theory-experiments	Agda	8	314
	curves	Haskell	5	11,993
	effects	Agda	5	457
	aim23-talk	Agda	4	571