Repos by gallais

gallais / repos

37 repos

	Repo	Language	Stars	Rank
	agdarsec	Agda	121	18
	idris-tparsec	Idris	93	25
	generic-syntax	Agda	67	32
	potpourri	Agda	52	50
	agda-sizedIO	Agda	33	82
	agda-presburger	Agda	31	86
	aGdaREP	Agda	31	85
	typing-with-leftovers	Agda	28	96
	pearl-binary-search	Idris	28	86
	agda-nbe	unknown	25	75,877