muratdem

Languages

2 total

Language	Repos	Stars	Global	Country	Locality
all	3	89	295,925	40,647	49
TLA	2	89	12	6	1
unknown	1	0	-	-	-

Repos

3 total

Repo	Language	Stars	Rank
PlusCal-examples	TLA	77	14
HLC	TLA	12	68
muratdem.github.io	unknown	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/muratdem"><img alt="Check out muratdem's profile on stardev.io" src="https://stardev.io/developers/muratdem/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/muratdem"><img alt="Check out muratdem's profile on stardev.io" src="https://stardev.io/developers/muratdem/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/muratdem"><img alt="Check out muratdem's profile on stardev.io" src="https://stardev.io/developers/muratdem/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-05-09T02:06:11.110801633Z Re-sync