meiersi

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	18	195	177,958	1,569	561
Haskell	13	178	640	13	10
Isabelle	1	15	34	1	1
unknown	2	1	1,690,986	4,520	1,244
Vim Script	1	1	28,173	169	73
Shell	1	0	-	-	-

Repos

18 total

Repo	Language	Stars	Rank
blaze-react	Haskell	107	957
blaze-builder	Haskell	21	3,988
blaze-binary	Haskell	17	4,685
scyther-proof	Isabelle	15	33
blaze-builder-enumerator	Haskell	6	10,715
strict-base-types	Haskell	6	10,521
bytestring	Haskell	4	14,925
psqueues-old	Haskell	4	14,362
system-io-write	Haskell	3	18,789
talks	Haskell	3	18,654

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

Preview

Last updated: 2024-09-18T02:43:10.420391308Z Re-sync