ksluckow

Languages

3 total

Language	Repos	Stars	Global	Country	Locality
all	7	1,266	38,263	6,087	13
unknown	2	1,253	3,215	464	4
Java	4	11	94,162	8,373	28
C	1	2	179,998	17,867	54

Repos

7 total

Repo	Language	Stars	Rank
awesome-symbolic-execution	unknown	1,253	3,202
juppaal	Java	8	150,457
BBDist	Java	2	560,145
Realpaver	C	2	269,243
log2model	Java	1	1,587,429
jpf-symbc-rt	Java	0	-
komorebi	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/ksluckow"><img alt="Check out ksluckow's profile on stardev.io" src="https://stardev.io/developers/ksluckow/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/ksluckow"><img alt="Check out ksluckow's profile on stardev.io" src="https://stardev.io/developers/ksluckow/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/ksluckow"><img alt="Check out ksluckow's profile on stardev.io" src="https://stardev.io/developers/ksluckow/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-27T19:28:54.580823394Z Re-sync