Repos by idris-hackers

idris-hackers / repos

28 repos

	Repo	Language	Stars	Rank
	software-foundations	Idris	448	5
	idris-mode	Emacs Lisp	261	501
	idris-vim	Vim Script	221	778
	idris-demos	Idris	191	11
	idris-koans	Idris	176	12
	idris-crypto	Idris	121	21
	IdrisWeb	TeX	109	982
	atom-language-idris	TypeScript	99	19,612
	IdrisScript	Idris	89	26
	idris-llvm	Haskell	78	1,271