Repos by discus-lang

discus-lang / repos

10 repos

	Repo	Language	Stars	Rank
	ddc	Haskell	174	573
	iron	Coq	138	41
	salt	Haskell	63	1,518
	shimmer	Haskell	8	7,907
	inchworm	Haskell	5	12,438
	salt-vscode	TypeScript	4	193,806
	buildbox	Haskell	1	44,052
	discus-bot	Haskell	1	33,773
	salt-theme	unknown	0	-
	shivver	C	0	-