Repos by Lysxia

Lysxia / repos

62 repos

	Repo	Language	Stars	Rank
	advent-of-coq-2018	Coq	139	39
	first-class-families	Haskell	84	1,172
	generic-random	Haskell	81	1,226
	generic-data	Haskell	44	2,093
	profunctor-monad	Coq	42	133
	advent-of-coq-2021	Coq	38	147
	metamorph	Haskell	33	2,640
	system-F	Coq	31	175
	coq-simple-io	Coq	28	189
	generic-recursion-schemes	Haskell	26	3,215