gebner

Languages

13 total

Language	Repos	Stars	Global	Country	Locality
all	41	165	190,102	27,238	1,402
Lean	13	97	25	6	2
Scala	3	26	3,219	566	32
Python	6	19	160,739	21,834	1,126
C	1	9	63,995	7,623	385
C++	2	5	135,123	14,183	758
Haskell	3	5	5,986	1,088	46
MATLAB	3	3	31,149	4,305	197
JavaScript	2	1	1,357,675	138,060	6,432
OpenEdge ABL	1	0	-	-	-
Shell	2	0	-	-	-
Makefile	1	0	-	-	-
TypeScript	3	0	-	-	-
unknown	1	0	-	-	-

Repos

41 total

Repo	Language	Stars	Rank
hott3	Lean	72	37
trepplein	Scala	26	4,641
m17n-lean	Python	12	298,836
dali-usb	C	9	85,852
lean4-old	Lean	8	284
compiz-cms	C++	5	183,290
hledger-diff	Haskell	5	11,793
oleanparser	Lean	5	403
super2	Lean	4	494
lean4-mathlib-import	Lean	4	493

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

Preview

Last updated: 2024-04-06T16:33:25.221417776Z Re-sync