cbenzmueller

Languages

4 total

Language	Repos	Stars	Global	Country	Locality
all	4	14	1,045,155	34,371	41
Isabelle	1	13	34	4	1
OpenEdge ABL	1	1	1,097	25	1
TeX	1	0	-	-	-
Assembly	1	0	-	-	-

Repos

4 total

Repo	Language	Stars	Rank
LogiKEy	Isabelle	13	34
cbenzmueller.github.io	OpenEdge ABL	1	938
TypesTableauxAndGoedelsGod	TeX	0	-
BoolosCuriousInference-ATP	Assembly	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/cbenzmueller"><img alt="Check out cbenzmueller's profile on stardev.io" src="https://stardev.io/developers/cbenzmueller/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/cbenzmueller"><img alt="Check out cbenzmueller's profile on stardev.io" src="https://stardev.io/developers/cbenzmueller/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/cbenzmueller"><img alt="Check out cbenzmueller's profile on stardev.io" src="https://stardev.io/developers/cbenzmueller/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-06-19T08:23:34.699533356Z Re-sync