copumpkin

Languages

8 total

Language	Repos	Stars	Global	Country	Locality
all	26	268	134,837	19,682	291
Agda	2	154	19	2	1
Haskell	11	61	1,355	278	3
unknown	8	24	71,017	8,656	137
Python	1	13	211,566	27,681	425
Objective-C	1	9	20,093	3,063	34
Ruby	1	3	69,002	15,941	237
Nix	1	3	2,754	422	6
Rust	1	1	80,445	10,006	145

Repos

26 total

Repo	Language	Stars	Rank
categories	Agda	147	15
java	Haskell	15	5,051
charm	Haskell	14	5,379
ida-scripts	Python	13	291,944
shaped	Haskell	9	7,447
iphone-wireless	Objective-C	9	30,279
bitvector	Agda	7	357
vector-mmap	Haskell	7	9,368
drepa	unknown	7	211,665
rational	unknown	6	241,144

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

Preview

Last updated: 2024-05-07T10:24:16.054432097Z Re-sync