pufferffish

Languages

7 total

Language	Repos	Stars	Global	Country	Locality
all	10	4,050	12,851	416	2
Go	3	3,993	905	26	1
Idris	2	48	43	4	3
TeX	1	5	10,798	415	17
HTML	1	3	188,284	4,057	67
Java	1	1	512,310	7,611	139
Haskell	1	0	-	-	-
Agda	1	0	-	-	-

Repos

10 total

Repo	Language	Stars	Rank
wireproxy	Go	3,984	885
idris2-tls	Idris	28	83
idris2-http	Idris	20	116
valhalla-go	Go	9	72,044
agda-symmetries	TeX	5	11,961
wad2-groupproject	HTML	3	178,441
wanparty	Java	1	641,394
fuzzyibe	Haskell	0	-
bs-speke	Go	0	-
agda-test	Agda	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/pufferffish"><img alt="Check out pufferffish's profile on stardev.io" src="https://stardev.io/developers/pufferffish/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/pufferffish"><img alt="Check out pufferffish's profile on stardev.io" src="https://stardev.io/developers/pufferffish/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/pufferffish"><img alt="Check out pufferffish's profile on stardev.io" src="https://stardev.io/developers/pufferffish/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-05-15T14:20:56.584580730Z Re-sync