Repos by banacorn

banacorn / repos

61 repos

	Repo	Language	Stars	Rank
	agda-mode-vscode	ReScript	163	22
	agda-mode	Reason	59	61
	socket.io-haskell	Haskell	23	3,630
	Hakaru-FLOLAC16	Haskell	16	4,859
	language-agda	unknown	13	125,566
	rescript-vscode	ReScript	12	179
	formal-language	Haskell	10	6,907
	edis	Haskell	5	11,675
	docker-agda	Dockerfile	4	14,168
	nodejs-hinet-sms	JavaScript	3	829,333