Repos by agda

agda / repos

29 repos

	Repo	Language	Stars	Rank
	agda	Haskell	2,375	36
	agda-stdlib	Agda	556	2
	cubical	Agda	421	3
	agda-categories	Agda	348	7
	agda2hs	Agda	167	14
	agda-frp-js	Agda	100	21
	agda-language-server	Haskell	95	1,040
	agda-frp-ltl	Agda	41	63
	agda-ocaml	Haskell	39	2,310
	agda-pkg	Python	33	142,854