emina

Languages

4 total

Language	Repos	Stars	Global	Country	Locality
all	4	702	63,028	9,687	495
Racket	1	624	13	6	1
Java	1	73	23,951	2,302	124
C	1	4	112,707	12,485	635
HTML	1	1	839,014	65,575	2,767

Repos

4 total

Repo	Language	Stars	Rank
rosette	Racket	624	10
kodkod	Java	73	29,648
minisatp	C	4	152,488
emina.github.io	HTML	1	621,881

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

Preview

Last updated: 2024-04-23T23:17:58.124192788Z Re-sync