leouk

global / united kingdom / united kingdom

Languages

1 total

Language	Repos	Stars	Global	Country	Locality
all	1	8	1,512,832	39,494	8,694
Isabelle	1	8	48	6	1

Repos

1 total

	Repo	Language	Stars	Rank
	VDM_Toolkit	Isabelle	8	47

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

Preview

Last updated: 2024-06-27T18:26:44.696942040Z Re-sync