Repos by jameshaydon

jameshaydon / repos

26 repos

	Repo	Language	Stars	Rank
	lawvere	Haskell	263	398
	idris-elixir	Haskell	63	1,522
	smproc	Idris	23	106
	idris-graphql	Idris	16	140
	diff-check	Haskell	7	8,599
	optical-machines	Haskell	6	9,611
	uk-portion-of-ICAO	Haskell	4	12,466
	anki-prompt	Haskell	3	15,310
	highercats	unknown	2	757,146
	hermits	Haskell	2	21,104