Repos by Lysxia

Lysxia / repos

64 repos

	Repo	Language	Stars	Rank
	coq-recursion-schemes	Coq	9	522
	twentyseven	Haskell	7	9,131
	coq-mtl	Coq	7	621
	type-map	Haskell	6	10,002
	test-monad-laws	Haskell	6	9,895
	advent-of-agda-2022	Agda	6	369
	komachi	Agda	6	368
	scanf	Haskell	4	13,747
	raz.haskell	Haskell	4	13,704
	lens-monad	Haskell	4	13,607