banacorn

Languages

14 total

Language	Repos	Stars	Global	Country	Locality
all	61	340	111,466	433	180
ReScript	3	176	27	1	1
Haskell	12	65	1,293	4	1
Reason	2	59	61	2	1
unknown	9	15	99,750	454	177
JavaScript	12	8	262,267	1,116	454
Agda	8	5	276	5	3
Dockerfile	1	4	11,891	68	26
Python	1	3	565,174	2,460	858
C	6	2	184,070	893	274
Emacs Lisp	1	1	10,717	30	11
Rust	1	1	75,084	200	73
TeX	2	1	42,542	150	51
R	1	0	-	-	-
CoffeeScript	2	0	-	-	-

Repos

61 total

Repo	Language	Stars	Rank
agda-mode-vscode	ReScript	163	22
agda-mode	Reason	59	61
socket.io-haskell	Haskell	23	3,625
Hakaru-FLOLAC16	Haskell	16	4,853
language-agda	unknown	13	125,037
rescript-vscode	ReScript	12	179
formal-language	Haskell	10	6,905
edis	Haskell	5	11,654
docker-agda	Dockerfile	4	14,115
nodejs-hinet-sms	JavaScript	3	827,973

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/banacorn"><img alt="Check out banacorn's profile on stardev.io" src="https://stardev.io/developers/banacorn/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/banacorn"><img alt="Check out banacorn's profile on stardev.io" src="https://stardev.io/developers/banacorn/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/banacorn"><img alt="Check out banacorn's profile on stardev.io" src="https://stardev.io/developers/banacorn/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-17T14:20:19.194021155Z Re-sync