discus-lang

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	10	394	99,641	1,276	324
Haskell	6	252	464	14	4
Coq	1	138	46	1	1
TypeScript	1	4	142,461	1,637	430
unknown	1	0	-	-	-
C	1	0	-	-	-

Repos

10 total

Repo	Language	Stars	Rank
ddc	Haskell	174	573
iron	Coq	138	40
salt	Haskell	63	1,518
shimmer	Haskell	8	7,894
inchworm	Haskell	5	12,417
salt-vscode	TypeScript	4	192,612
buildbox	Haskell	1	44,012
discus-bot	Haskell	1	33,739
salt-theme	unknown	0	-
shivver	C	0	-

Badges

Get your badge to use on GitHub or websites using the code below

Global Country Locality

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/discus-lang"><img alt="Check out discus-lang's profile on stardev.io" src="https://stardev.io/developers/discus-lang/badge/languages/global.svg" /></a>

Preview

Country

Displays country rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/discus-lang"><img alt="Check out discus-lang's profile on stardev.io" src="https://stardev.io/developers/discus-lang/badge/languages/country.svg" /></a>

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/discus-lang"><img alt="Check out discus-lang's profile on stardev.io" src="https://stardev.io/developers/discus-lang/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-06T22:29:00.055066824Z Re-sync