trommler

Languages

3 total

Language	Repos	Stars	Global	Country	Locality
all	4	8	1,466,614	44,148	315
Coq	1	8	372	9	1
Java	2	0	-	-	-
unknown	1	0	-	-	-

Repos

4 total

Repo	Language	Stars	Rank
VeriGHC	Coq	8	556
informatik2	Java	0	-
ovpd-vamos	unknown	0	-
arena-plugin	Java	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/trommler"><img alt="Check out trommler's profile on stardev.io" src="https://stardev.io/developers/trommler/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/trommler"><img alt="Check out trommler's profile on stardev.io" src="https://stardev.io/developers/trommler/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/trommler"><img alt="Check out trommler's profile on stardev.io" src="https://stardev.io/developers/trommler/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-02T03:17:29.416611019Z Re-sync